Constant INVARIANT_VIOLATED_MSG 

const INVARIANT_VIOLATED_MSG: &str = "PHC params invariant violated";

Error message used with expect for when internal invariants are violated (i.e. the contents of a ParamsString should always be valid)