Factorize As(v, term)
More unification
Generted stuff