Error: 
invalid_argument: invalid position ←.1.ε in lit (div1 ((2 × (2 × I1))) 2 = 2 × I1)
Raised at file "stdlib.ml", line 30, characters 20-45
Called from file "src/core/Literal.ml", line 964, characters 52-69
Called from file "src/core/Literal.ml", line 978, characters 12-25
Called from file "src/core/Literal.ml", line 1019, characters 16-29
Called from file "src/core/Literal.ml", line 1032, characters 14-31
Called from file "src/prover_calculi/superposition.ml", line 744, characters 12-67
Called from file "src/Iter.ml", line 202, characters 20-23
Called from file "set.ml", line 376, characters 35-38
Called from file "src/core/Index.ml", line 60, characters 11-55
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 10-18
Called from file "map.ml", line 295, characters 10-18
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "map.ml", line 295, characters 20-25
Called from file "src/core/Fingerprint.ml", line 335, characters 6-31
Re-raised at file "src/core/Fingerprint.ml", line 339, characters 6-13
Called from file "src/core/Literals.ml", line 339, characters 16-65
Called from file "src/Iter.ml", line 87, characters 2-32
Called from file "src/prover_calculi/superposition.ml", line 816, characters 6-1023
Called from file "src/prover/env.ml", line 270, characters 29-35
Called from file "list.ml", line 121, characters 24-34
Called from file "src/prover/env.ml", line 267, characters 6-236
Called from file "src/prover/env.ml", line 669, characters 25-51
Called from file "src/prover/saturate.ml", line 181, characters 17-31
Called from file "src/prover/saturate.ml", line 232, characters 23-56
Called from file "src/prover_phases/phases_impl.ml", line 347, characters 11-63
Called from file "src/prover_phases/phases.ml", line 116, characters 8-12
Called from file "src/prover_phases/phases.ml", line 116, characters 8-12
Called from file "src/prover_phases/phases.ml", line 116, characters 8-12
Called from file "src/prover_phases/phases.ml", line 116, characters 8-12
Called from file "src/prover_phases/phases.ml", line 208, characters 4-8