fixed a bug in SymbolicUnifier