Fatal error: exception Invalid_argument("List.map2") Raised at file "pervasives.ml", line 23, characters 25-45 Called from file "list.ml", line 84, characters 48-60 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 "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 "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 "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 "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 "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 "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 "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 "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 "list.ml", line 57, characters 32-39 Called from file "list.ml", line 57, characters 32-39 Called from file "polynomialEncoding.ml", line 315, characters 3-27 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