Fixed #5017 (New check: division by zero, otherwise condition is redundant)