Function build_raw_ptr_deref_checks 

fn build_raw_ptr_deref_checks<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Vec<(Checkpoint<'tcx>, Vec<Property<'tcx>>)>

Build (pseudo-checkpoint, properties) pairs for every raw pointer dereference in the target function.