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