let userdef_is_ref_param lv =
match Variables_analysis.dispatch_lvar lv with
| Variables_analysis.Fvar | Variables_analysis.Cvar
| Variables_analysis.ARarg | Variables_analysis.PRarg -> false
| Variables_analysis.PRpar _ | Variables_analysis.ARpar _ -> true