AssertionError at DPLLEngine.java:1558

[rainoftime]

Hi, for the following formula,
1558.txt

SMTInterpol 7625fe2 throws an assertion error

 Exception in thread "main" java.lang.AssertionError                                                                                                                                                [6/1935]
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.checkLevel0Clause(DPLLEngine.java:1558)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.getLevel0(DPLLEngine.java:1568)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.generateLevel0Proof(DPLLEngine.java:1527)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.setLiteral(DPLLEngine.java:457)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.propagateClauses(DPLLEngine.java:402)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.propagateInternal(DPLLEngine.java:243)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.quickCheck(DPLLEngine.java:1682)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol.assertTerm(SMTInterpol.java:656)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Parser$Action$.CUP$do_action(Parser.java:2881)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Parser.do_action(Parser.java:1311)
        at com.github.jhoenicke.javacup.runtime.LRParser.parse(Unknown Source)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.ParseEnvironment.parseStream(ParseEnvironment.java:154)

[tanjaschindler]

Related to #77
There seem to be problems with NamedAtoms and check-sat-assuming.