== step =====
step =>> dret_X.prep   (*  :  *)
step =>> t1.step   (*  :  *)
  t1.stepO =>> ds_1X.prep   (*  :  *)
  t1.stepO =>> ds_X.prep   (*  :  *)
  t1.stepO =>> t1y2_X.prep   (*  :  *)
  t1.stepO =>> t1y3_X.prep   (*  :  *)
JOIN_stepO.J =>> stepO   (*  :  *)
== upd =====
upd =>> t1.upd   (*  :  *)
  t1.updO =>> updO   (*  :  *)
== init =====
JOIN_t1_init.J =>> t1.init   (*  :  *)
== param =====
JOIN_t1_param.J =>> t1.param   (*  :  *)
== ctor =====
ctor =>> t1.ctor   (*  :  *)
