let
userdef_is_ref_param (_:logic_var) : bool =
false