Tool returned Error: Stdout: koat2: internal error, uncaught exception: ParserUtil.Error("Location l3 occurs with different arities of variables 5<>4 !\n Stored arities: [l0: 5; l1: 5; l3: 5; l2: 5]") Stderr: