added tests and commented out v-out unification causing excess pruning