Refactored unification constraint code.  add_identity() now called add_identity_and_unifications_to_test().  Created add_unification_constraint() which it calls.
Fixed problem with debug printing of disjunctions