using unification to handle conflicting actions, so the memory problem is considerably mitigated. READY TO TEST