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