Fatal error: exception Invalid_argument("List.map2")
Raised at file "pervasives.ml", line 23, characters 25-45
Called from file "interpretation.ml", line 0, characters 0-0
Called from file "list.ml", line 57, characters 20-23
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "polynomialInterpretation.ml", line 94, characters 20-80
Called from file "polynomialInterpretation.ml", line 100, characters 10-38
Called from file "polynomialStrategy.ml", line 214, characters 3-50
Called from file "terminationWrapper.ml", line 669, characters 5-29
Called from file "strategyMonade.ml", line 88, characters 21-37
Called from file "strategyMonade.ml", line 94, characters 18-25
Called from file "strategyMonade.ml", line 88, characters 21-37
Called from file "strategyMonade.ml", line 88, characters 21-37
Called from file "strategy.ml", line 251, characters 3-70
Called from file "strategy.ml", line 296, characters 14-37
Called from file "kernel.ml", line 269, characters 13-64
Called from file "exec.ml", line 19, characters 0-14