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