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