public NoConstraintPropagation
This annotation should only be added to interface Contract classes.
If the annotation is present, then we assume that Contract.verify will ensure that the output states have an acceptable constraint.
If the annotation is missing, then the default - secure - constraint propagation logic is enforced by the platform.
interface Contract,
Contract.verify