CheckOther: Removed non-valueflow check for division by possible zero before condition