pub const INLINE_NONPREDICATE_NAME: &str = "inline_non_predicate_module";