changed the conflict search that ! and x product states are considered