Unify_unify(): block signals while executing the non-atomic operations