} else { throw new ClassCastException("Invalid arguments (" + arg1.getType() + ", " + arg2.getType() + ") for specified operation (" + getOpName(op) + ")");
} else { throw new ClassCastException("Invalid arguments (" + arg1.getType() + ", " + arg2.getType() + ") for specified operation (" + getOpName(op) + ")");