pub const CLASS_INFORMAL_CONSTRAINT_NAME: &str = "InformalConstraint";