temporarily solved search problem where order of operations in unification mattered