Resolving unknown in solver. Blame: type inference for FunInv with type parameters

src/main/scala/leon/Main.scala

...main/scala/leon/invariant/datastructure/DisjointSet.scala

...in/scala/leon/invariant/datastructure/ExprStructure.scala

src/main/scala/leon/invariant/datastructure/Graph.scala

src/main/scala/leon/invariant/datastructure/Maps.scala

...cala/leon/invariant/templateSolvers/UFADTEliminator.scala

src/main/scala/leon/invariant/util/CallGraph.scala

src/main/scala/leon/invariant/util/TypeUtil.scala

src/main/scala/leon/invariant/util/Util.scala

src/main/scala/leon/laziness/ClosurePreAsserter.scala

src/main/scala/leon/laziness/LazinessEliminationPhase.scala

src/main/scala/leon/laziness/LazinessUtil.scala

src/main/scala/leon/laziness/LazyClosureConverter.scala

src/main/scala/leon/laziness/LazyClosureFactory.scala

src/main/scala/leon/laziness/TypeChecker.scala

src/main/scala/leon/laziness/TypeRectifier.scala

...scala/leon/transformations/LazinessEliminationPhase.scala