Predicate sorting of eligible implicits on a system property