let userdef_ref_has_cvar (_ : logic_var) : bool = false