Function local_param_operand 

pub(super) fn local_param_operand<'a, 'z3, 'tcx>(
    vm_state: &VmState<'z3, 'tcx>,
    ck: &'a Checkpoint<'tcx>,
    n: usize,
) -> Option<&'a Operand<'tcx>>

Resolve a callee Local(n) to the corresponding checkpoint operand, using the callee’s real argument count. Returns None when the checkpoint has no callee or n is not an argument local.