ConditionalEffect
An effect of some condition being true after observing another effect of a function.
This effect is specified in the contract { }
block by attaching a boolean expression
to another SimpleEffect effect with the function SimpleEffect.implies.