let
userdef_ref_has_cvar (_ : logic_var) : bool =
false