lvar, unify