Add view during test
negation expand