Function check_view_alias 

fn check_view_alias<'z3, 'tcx>(
    vm_state: &VmState<'z3, 'tcx>,
    checkpoint: &Checkpoint<'tcx>,
    kind: HazardKind,
) -> VmAliasResult