methods for appending and removing constants are now part of Domain class
new command line parameter of float value called misc that can be used anywhere for testing
lots of changes - threads have their own data structures for max marginals; pruning based on violation cost etc.