fixed side condition evaluation properly
added some comment
added defensive code for concatenating two maps with common keys
relaxed the check of AC-Matching to be more accurate
fixed ConstrainedTerm#unify; added defensive code to check unsplit disjuctions