public override void WriteDescriptionTo(MessageWriter writer) { RealConstraint.WriteDescriptionTo( writer ); } }