eseq (s1, binop (op, eseq (s2, e1), e2))

eseq (s1, eseq (s2, binop (op, e1, e2)))

eseq (seq (s1, s2), binop (op, e1, e2))


a cjump c,b
b jump d
c jump e
d jump f
f
e

a cjump c,b
b jump d
c jump e
d jump f
f jump e
e jump done

a cjump c,b
c 
e jump done
b 
d 
f jump e