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