added dynamic graph based lattice unification