proc optimize(n: PNode): PNode {....raises: [KeyError, ValueError, IOError,
    Exception, OSError], tags: [WriteIOEffect, ReadDirEffect, RootEffect,
                                ReadEnvEffect, ReadIOEffect], forbids: [].}