private ConstantValue evaluateLogicalExpr(
     Binary logicalExpr, LogicalBinaryOperation operation) {
   return evaluateLogicalExpr(
       logicalExpr.getLeftArgument(),
       logicalExpr.getRightArgument(),
       logicalExpr.getType().get(),
       operation);
 }
 private ConstantValue evaluateShiftExpr(Binary expr, ShiftOperation operation) {
   return evaluateShiftExpr(
       expr.getLeftArgument(), expr.getRightArgument(), expr.getType().get(), operation);
 }
 private ConstantValue evaluateBinaryExpr(Binary expr, ArithmeticBinaryOperation operation) {
   return evaluateBinaryExpr(
       expr.getLeftArgument(), expr.getRightArgument(), expr.getType().get(), operation);
 }