Constant check_potentially_region_dependent_goals 

pub const check_potentially_region_dependent_goals: &str = "check_potentially_region_dependent_goals";