Well, here is my non-zero-handling answer to the first
Z2
I2 <-+
J0,2 -+
Z3
I2 <-+
I3 |
J1,3 -+
And with zero handling (maybe) Z4
I4
Z2
J0,2 -+
+-J0,4 |
| I2 <=+
| J0,2 -+
+>Z3
J1,3 -+
+-J1,4 |
| I2 <=+
| I3 |
| J1,3 -+
+>exit
Edit * 2nd try