OVERASSERTION

Definition of OVERASSERTION