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