fixed minor bug with PolyRule._applyRuleRecursively, and restored some tests
fixed simp3 and it's test
updated simp4 rule and test. Fixed bug with degree() usage