== calc =====
calc =>> cond1.prep   (*  :  *)
  cond1.true =>> y1_X.prep   (*  | 2 : 2 *)
    y1_X.prepO =>> calcO   (*  : 2 *)
JOIN_y1_1X_prep.J =>> y1_1X.prep   (*  | 1 : 1 *)
  y1_1X.prepO =>> calcO   (*  : 1 *)
== req2 =====
req2 =>> y1_2X.prep   (*  :  *)
  y1_2X.prepO =>> calcO   (*  :  *)
