OpExp(GtOp,
 IntExp(3),
 StringExp("df"))