Constant instantiate_and_check_impossible_clauses 

pub const instantiate_and_check_impossible_clauses: &str = "instantiate_and_check_impossible_clauses";