[dcl.attr.contract] Predicates of a contract are potentially evaluated,

as per the definition in [basic.def.odr], so turn the
redundant normative statement into a note.

Author: jensmaurer

source/declarations.tex

@@ -4310,6 +4310,9 @@
 is contextually converted to \tcode{bool}\iref{conv};
 the converted expression is called
 the \defnx{predicate}{contract!predicate} of the contract.
+\begin{note}
+The predicate of a contract is potentially evaluated\iref{basic.def.odr}.
+\end{note}
 
 \pnum
 A \defn{contract condition} is a precondition or a postcondition.
@@ -4363,9 +4366,6 @@
 \end{example}
 \end{note}
 
-\pnum
-The predicate of a contract is potentially evaluated\iref{basic.def.odr}.
-
 \pnum
 The predicate of a contract condition has the same semantic restrictions
 as if it appeared as the first \grammarterm{expression-statement}