End of ProVerif trace reconstruction

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifResultTrace.java

src/proverifspec/ProVerifResultTraceStep.java

src/ui/interactivesimulation/JFrameSimulationSDPanel.java

src/ui/interactivesimulation/JSimulationSDPanel.java

src/ui/window/JDialogProverifVerification.java