Rewrite nse_assume