Predicate DefectFilter::contains

predicate contains(Location l, DefectResult res)