Normalizer for π-calculus Command line normalizer of π-calculus expressions (as produced by the EO compiler). Consult the project documentation for more details.