more tests for false positives in infeasible code detection