Optimizer:
proc optimize(n: PNode): PNode {....raises: [KeyError, Exception], tags: [RootEffect], forbids: [].}