[basic.def.odr] Rephrase ODR rule for contracts

Author: jensmaurer

source/basic.tex

@@ -553,14 +553,13 @@
 requirement applies recursively)\footnote{\ref{dcl.fct.default}
 describes how default argument names are looked up.}; and
 
-\item if \tcode{D} is a function that
-contains an assertion,
-has a postcondition,
-or invokes a function with a precondition,
-the conditions under which each definition of \tcode{D}
+\item if \tcode{D} invokes a function with a precondition,
+or is a function
+that contains an assertion or has a contract condition\iref{dcl.attr.contract},
+it is \impldef{consistency of build level and violation continuation mode}
+under which conditions all definitions of \tcode{D}
 shall be translated using the same build level
-and violation continuation mode\iref{dcl.attr.contract}
-are \impldef{consistency of build level and violation continuation mode}; and
+and violation continuation mode; and
 
 \item if \tcode{D} is a class with an implicitly-declared
 constructor\iref{class.ctor}, it is as if the constructor was