Optomizations to unification. Stopped unifying rules.
Commented out debug statements.