add some code under eval, unification