included two utility classes for test generation
added methods for getting all sorts in the k definition
implemented deep copy for uninterpreted constraint
constructed the map in the state cell manually before the problem of MyMap and Map is solved
fixed three bugs/missing features in SymbolicConstraint
ConstrainedTerm conflict resolved
implemented a simple random test generation strategy