File "src/prover_calculi/superposition.ml", line 802, characters 4-10: Assertion failed
Raised at file "src/prover_calculi/superposition.ml", line 802, characters 4-130
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 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