A cleverer check for candidate for elimination; if the bounds are (t,infinity) or some variant (somet hing of that form scaled by a constant, basically) do not try to eliminate; and restore the emission of eliminated terms containing `erf`; but keep the non-emission of terms containing `csgn`, and emit a warning for such terms.
A cleverer check for candidate for elimination; if the bounds are (t,infinity)
or some variant (somet hing of that form scaled by a constant, basically) do not
try to eliminate; and restore the emission of eliminated terms containing `erf`;
but keep the non-emission of terms containing `csgn`, and emit a warning for
such terms.

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru