Minor changes to ignore file and solvability
Added 'flag' predicate to disable solvability
Bug-fixed how default heuristics are generated
Began updating tests to use heuristics
changed way coeffOverflow is handled
Added more tests for other heuristics.
Still have to update some of them.
Enabled some heuristic tests
Reactivated working tests. Need to fix 4 other
multiplyWithFrac test works
Fixed two more tests
Fixed last test to use heuristics instead
Reduced grounding size of monosOutOfOrder
Minor change to reduce grounding of writeBinaryOp\3