Function first_arg_local 

fn first_arg_local<'tcx>(checkpoint: &Checkpoint<'tcx>) -> Option<Local>

The root local of the checkpoint’s first argument, when it is a plain Copy/Move operand with no projection.