pub const assumed_wf_types: &str = "assumed_wf_types";