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