Function is_verify_target_func 

pub fn is_verify_target_func(tcx: TyCtxt<'_>, def_id: DefId) -> bool

Filter the function which contains “rapx::proof”