In fcl-passr, PasWriter.WriteProcDecl raises exception when a procedure has a with statement inside

PasWriter.WriteProcDecl rases exception when a procedure has a with statement inside.

For example:

procedure Proc;
var
  P : TPoint;
begin
  with P do
    begin
      X:=3;
      Y:=5;
    end;
end; 

The parser raises an exception with following message:

"EPasWriter: Writing not yet implemented for TPasImplWithDo implementation elements"

This because (I presume) PasWriter.WriteImplWhileDo is not yet implemented.

See attached archive to reproduce. test.zip