Rewrite nse_make_symbolic