== calc =====
calc =>> cond1.prep   (*  :  *)
  cond1.true =>> vp_X.prep   (*  | 2 : 2 *)
  cond1.true =>> vn_X.prep   (*  | 2 : 2 *)
  cond1.false =>> vn_1X.prep   (*  | 1 : 1 *)
  cond1.false =>> vp_X.prep   (*  | 1 : 1 *)
JOIN_calcO.J =>> calcO   (*  :  *)
