get rid of the annoying SymbolicConstrant.Data
fixed JavaSymbolicObject#variableSet to return a view of set
fixed inconsistency between ConstrainedTerm.Data#constraintData and ConstrainedTerm#constraint
minor cleanup of SymbolicRewriter
more cleanup of SymbolicRewriter, mostly renaming
replaced HashMap/Set with LinkedHashMap/Set
moved code that binds fresh variables from builtPattern to buildResult
reimplemented SymbolicConstraint#eliminateAnonymousVariables
deprecated and revised SymbolicConstraint#rename
temporarily removed unrelated tests
removed useless argument in the constructor of ConstrainedTerm
made the fields of SymbolicConstraint to be private again
fixed unevaluated function and removed defensive coding
made SymbolicUnifier#simplifyMapEquality more deterministic
forgot to remove merge_sort example from exclude list
Revert "temporarily removed unrelated tests"

This reverts commit e94396015073713135eb9070b63c66be1dfef209.
removed KilFactory
Merge pull request #1062 from yilongli/cleanup-ml-prover-3

Cleanup ml prover 3