method vexpr e = if reference_parameter_usage (Cil.stripInfo e).enode then SkipChildren else DoChildren