a bit more error checking when compacting a variable
rename the variable type SIMPLE_ASSIGNMENT to SIMPLE_EQUALITY to better reflect its purpose; remove some debug output; implement the matching function for the SIMPLE_EQUALITY variable type
when finding a simple equality equation, we can simply subtitute the variables to remove the extra equation that isn't needed in the compacted model.