initiate search from all literals of negation