applying unifiers passes simple tests