Removed the check for division by zero, since the Cool runtime system
support code doesn't support it. Will be re-added later.