Refactor, Redesign: DivideExpression removed, replaced by BinaryArithmeticExpression with divide operator