pub fn parse_constraint_with_kvars( input: &str, ) -> Result<ConstraintWithEnv<ParsingTypes>, ParseError>