getter filtering of false positives ... however, there seems to be
something fishy in InfeasibleReport.java