src/it/scala/inox/solvers/unrolling/QuantifiersSuite.scala

src/main/scala/inox/ast/Constructors.scala

src/main/scala/inox/ast/Definitions.scala

src/main/scala/inox/ast/ExprOps.scala

src/main/scala/inox/ast/Paths.scala

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/ast/Trees.scala

src/main/scala/inox/solvers/theories/BagEncoder.scala

src/main/scala/inox/solvers/theories/SetEncoder.scala

src/main/scala/inox/tip/Parser.scala