Assertion violation Assertion !isEliminated(v)' failed.` in 4.4

[mgudemann]

For the attached model, --bound 12 should falsify smv::main::spec1, but results in

ebmc-4.4: ../../minisat-2.2.1/minisat/simp/SimpSolver.cc:106: Minisat::lbool Minisat::SimpSolver::solve_(bool, bool): Assertion `!isEliminated(v)' failed.
fish: “~/source/formal_methods/ebmc-4.…” terminated by signal SIGABRT (Abort)

elbtunnel.zip

real PO values (with CEX depth):

PO 0 - k: ..........no([0])
PO 1 - k: .yes([1])
PO 2 - k: ....no([2])
PO 3 - k: .........no([3])
PO 4 - k: .yes([4])
PO 5 - k: ........yes([5])
PO 6 - k: ..........no([6])
PO 7 - k: ..........no([7])

[mgudemann]

solved in #27 this was a problem with multiple properties modelled via the same literal which was not frozen and got eliminated by MiniSAT