Option.get in Leon library
Make constructors of Expr subclasses with companion .apply methods private
make isGround a public method
Remove legacy hardcoded lists
List.isEmpty in Leon lib
Expression Simplifier
Simplifier benchmarks
Make sure inner functions get lifted before verification
Repair benchmarks