@@ -357,8 +357,9 @@ class EssentialBinaryOperationSubjectToUsualConversions extends EssentialExpr, B
357357 */
358358class EssentialAddExpr extends EssentialBinaryOperationSubjectToUsualConversions , AddExpr {
359359override Type getEssentialType ( ) {
360- exists ( Type otherOperandType ,
361- EssentialTypeCategory operandTypeCategory , EssentialTypeCategory otherOperandTypeCategory , int intTypeSize
360+ exists (
361+ Type otherOperandType , EssentialTypeCategory operandTypeCategory ,
362+ EssentialTypeCategory otherOperandTypeCategory , int intTypeSize
362363|
363364operandTypeCategory = getEssentialTypeCategory ( getEssentialType ( getAnOperand ( ) ) ) and
364365otherOperandType = getEssentialType ( getAnOperand ( ) ) and
@@ -381,10 +382,8 @@ class EssentialAddExpr extends EssentialBinaryOperationSubjectToUsualConversions
381382class EssentialSubExpr extends EssentialBinaryOperationSubjectToUsualConversions , SubExpr {
382383override Type getEssentialType ( ) {
383384exists (
384- EssentialTypeCategory leftEssentialTypeCategory ,
385- Type rightEssentialType ,
386- EssentialTypeCategory rightEssentialTypeCategory ,
387- int intTypeSize
385+ EssentialTypeCategory leftEssentialTypeCategory , Type rightEssentialType ,
386+ EssentialTypeCategory rightEssentialTypeCategory , int intTypeSize
388387|
389388leftEssentialTypeCategory = getEssentialTypeCategory ( getEssentialType ( getLeftOperand ( ) ) ) and
390389rightEssentialType = getEssentialType ( getRightOperand ( ) ) and