Assertion error at FunctionEncoder.scala:326

[rainoftime]

Hi, for the following formula
326.zip

ostrich 2b3eb9b

java.lang.AssertionError: assertion failed                                           
        at scala.Predef$.assert(Predef.scala:156)                                    
        at ap.parser.FunctionEncoder.apply(FunctionEncoder.scala:326)                 
        at ap.parser.Preprocessing$.ap$parser$Preprocessing$$encodeFunctions$1(Preprocessing.scala:106)
        at ap.parser.Preprocessing$$anonfun$27.apply(Preprocessing.scala:263)         
        at ap.parser.Preprocessing$$anonfun$27.apply(Preprocessing.scala:262)        
        at scala.collection.TraversableLike$WithFilter$$anonfun$map$2.apply(TraversableLike.scala:683)
        at scala.collection.immutable.List.foreach(List.scala:392)                   
        at scala.collection.TraversableLike$WithFilter.map(TraversableLike.scala:682) 
        at ap.parser.Preprocessing$.apply(Preprocessing.scala:262)                   
        at ap.SimpleAPI.toInternal(SimpleAPI.scala:4254)                              
        at ap.SimpleAPI.flushTodo(SimpleAPI.scala:4044)                              
        at ap.SimpleAPI.setPartitionNumberHelp(SimpleAPI.scala:2383)                  
        at ap.SimpleAPI.withPartitionNumber(SimpleAPI.scala:2397)
        at ap.SimpleAPI.abbrevHelp(SimpleAPI.scala:1680)
        at ap.SimpleAPI.abbrev(SimpleAPI.scala:1663)
        at ap.SimpleAPI.abbrev(SimpleAPI.scala:1639)
        at ap.parser.SMTParser2InputAbsy$$anonfun$translateLet$8.apply(SMTParser2InputAbsy.scala:2061)
        at ap.parser.SMTParser2InputAbsy$$anonfun$translateLet$8.apply(SMTParser2InputAbsy.scala:2051)
        at scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:733)
        at scala.collection.mutable.ResizableArray$class.foreach(ResizableArray.scala:59)
        at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:48)
        at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732)
        at ap.parser.SMTParser2InputAbsy.translateLet(SMTParser2InputAbsy.scala:2051)
       at ap.parser.SMTParser2InputAbsy$$anonfun$symApp$1.apply(SMTParser2InputAbsy.scala:2123)
        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:234)
        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:234)
        at scala.collection.mutable.ResizableArray$class.foreach(ResizableArray.scala:59)
        at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:48)
        at scala.collection.TraversableLike$class.map(TraversableLike.scala:234)
        at scala.collection.AbstractTraversable.map(Traversable.scala:104)
        at ap.parser.SMTParser2InputAbsy.symApp(SMTParser2InputAbsy.scala:2123)
        at ap.parser.SMTParser2InputAbsy.translateTerm(SMTParser2InputAbsy.scala:1855)
        at ap.parser.SMTParser2InputAbsy.ap$parser$SMTParser2InputAbsy$$apply(SMTParser2InputAbsy.scala:1463)
        at ap.parser.SMTParser2InputAbsy$$anon$1.commandHook(SMTParser2InputAbsy.scala:536)
        at ap.parser.smtlib.CUP$parser$actions.CUP$parser$do_action(parser.java:1289)
        at ap.parser.smtlib.parser.do_action(parser.java:419)
        at java_cup.runtime.lr_parser.parse(lr_parser.java:584)
        at ap.parser.smtlib.parser.pScriptC(parser.java:441)
        at ap.parser.SMTParser2InputAbsy.processIncrementally(SMTParser2InputAbsy.scala:548)
        at ap.CmdlMain$$anonfun$7.apply(CmdlMain.scala:568)
        at ap.CmdlMain$$anonfun$7.apply(CmdlMain.scala:566)
        at ap.SimpleAPI$.withProver(SimpleAPI.scala:169)
        at ap.CmdlMain$.proveMultiSMT(CmdlMain.scala:566)
        at ap.CmdlMain$.proveProblems(CmdlMain.scala:598)
        at ap.CmdlMain$$anonfun$doMain$2.apply(CmdlMain.scala:934)
        at ap.CmdlMain$$anonfun$doMain$2.apply(CmdlMain.scala:932)
        at scala.collection.mutable.ResizableArray$class.foreach(ResizableArray.scala:59)
        at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:48)
        at ap.CmdlMain$.doMain(CmdlMain.scala:932)
        at ap.CmdlMain$.main(CmdlMain.scala:882)
        at ostrich.OstrichMain$.main(OstrichMain.scala:37)

.