initate search from all literals of negation