Constant INFORMAL_CONSTRAINT

Source
pub const INFORMAL_CONSTRAINT: &str = "InformalConstraint";