OpExp(GtOp, IntExp(23), IntExp(85))