Razoring now at PV-nodes.