fixed unification with guard exprs.