1. Fixed a variable naming bug in orderedsets.Main, used id.uniqueName instead of id.name
2. Added a dumbInsert example in BinarySearchTree.scala (which bypasses the ifExpr problem, in function insert)
3. Added formula relaxation in ExprToASTConverter, in orderedsets