test with infeasible branch