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