let userdef_ref_has_cvar (lv : logic_var) : bool = 
    Variables_analysis.is_user_formal_in_builtin lv