Function resolve_callsite_copy 

fn resolve_callsite_copy<'tcx>(
    checker: &SmtChecker<'tcx>,
    checkpoint: &Checkpoint<'tcx>,
    place: PlaceKey,
) -> PlaceKey