Function bytecode::verification_analysis::is_invariant_checking_delegated

pub fn is_invariant_checking_delegated(fun_env: &FunctionEnv<'_>) -> bool