code: public static IDisjunct simplify( IDisjunct disjunct)
      {
      IAssertion assertion = toAssertion( disjunct);
      return
        assertion == null
        ? disjunct
        : assertion;
      }
docs: Returns the simple form of the given disjunction.