let
userdef_is_ref_param (_:logic_var): bool =
false