== calc =====
calc =>> cond1.prep   (*  :  *)
  cond1.true =>> i1_X.prep   (*  | 2 : 2 *)
  cond1.true =>> v1_X.prep   (*  | 2 : 2 *)
calc =>> cond3.prep   (*  :  *)
  cond3.true =>> v1_X.prep   (*  | 8 : 8 *)
v1_X.prepO =>> calcO2   (*  | 2 | 8 : 28 *)
JOIN_ycd_prep.J =>> calcO1   (*  | a : a *)
== upd =====
upd =>> i1.upd   (*  :  *)
