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