added stuff to reduce false positives in infeasible code detection