AssertionError at EqualityProxy.java:105

[rainoftime]

Hi, for the following formula,
105.txt

SMTInterpol (commit 7625fe2) throws an AssertionError

sat
Exception in thread "main" java.lang.AssertionError
        at de.uni_freiburg.informatik.ultimate.smtinterpol.convert.EqualityProxy.createCCEquality(EqualityProxy.java:105)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.CClosure.createEquality(CClosure.java:1015)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.WeakCongruencePath.generateClause(WeakCongruencePath.java:368)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.WeakCongruencePath.computeWeakeqExt(WeakCongruencePath.java:146)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.ArrayTheory.computeWeakeqExt(ArrayTheory.java:1419)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.ArrayTheory.computeConflictClause(ArrayTheory.java:706)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.checkConsistency(DPLLEngine.java:1012)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.solve(DPLLEngine.java:1159)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol$CheckType$1.check(SMTInterpol.java:113)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol.checkSatAssuming(SMTInterpol.java:476)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Parser$Action$.CUP$do_action(Parser.java:2916)
        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)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.ParseEnvironment.parseScript(ParseEnvironment.java:133)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTLIB2Parser.run(SMTLIB2Parser.java:37)
        at de.uni_freiburg.informatik.ultimate.smtinterpol.Main.main(Main.java:180)