let userdef_is_ref_param (_:logic_var) : bool = false