Function sizeof_measure_param_indices 

pub fn sizeof_measure_param_indices(fd: &FnDef) -> Vec<usize>

SizeOf-measure param indices for a fn — every non-scalar param position contributes a term to the structural measure. Matches the picks made for the Lean termination_by clause and the Dafny native decreases tuple so the same params drive measure inference on both backends.