fixed two bugs in SymbolicUnifier#unifyList