Action state translation and backtracing on ports

Symbols within action states are removed since ProVerif can't understand them, and Proverif Result traces are displayed on ports with 'Show ProVerif Trace'.

No luck with fork channels however...