code: public static IAssertion toAssertion( IDisjunct disjunct)
      {
      return
        disjunct.getAssertionCount() == 1
        ? disjunct.getAssertions().next()
        : null;
      }
docs: If the given disjunction consists of a single assertion, returns the
  equivalent assertion. Otherwise, return null.