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