public static Iterable < Expression > nonInferrableConjuncts ( Expression expression ) { return filter ( extractConjuncts ( expression ) , not ( isInferenceCandidate ( ) ) ) ; }
Provides a convenience Iterable of Expression conjuncts which have not been added to the inference