integrals: relax assumptions on Dummy's
integrals: relax assumptions on Dummy's

Limits may be extended_real's, but the variable could
be considered finite.  See also mrv_leadterm().

skirpichev/omg,diofant/diofant