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