pub const CLASS_FORMAL_CONSTRAINT_NAME: &str = "FormalConstraint";