Remove some redundant checks

positive implies extended_real, so if extended_real is False then positive
will already be False without calling _eval_is_positive from the deduction
system.