Verilog Translator

Elaborating the following module

module m(im, om1, om2, om3, om4);
  ...
  x ... a(.ix(im), .ox(om1));
  y ... b(.iy(im), .oy(om2));
  z ... c(.iz(im), .oz(om3));
  ...
endmodule

leads to the following result

assign a.ox = a.px;

@(posedge b.iy)
  begin
     b.oy <= b.py;
  end

@(posedge c.iz)
  begin
     c.oz <= c.pz;
  end

Bindings have not applied.