started updating unification so that it can return several solutions