Modula-3 source code analysis and transformation toolkit (PM3 distribution)