adding selector unification to the extend pass and printing the result