let userdef_is_ref_param (_:logic_var): bool = false