pub const INLINE_PREDICATE_NAME: &str = "inline_predicate_module";