fixed bug in unification algorithm: processing negative preconditions