circIR has ExternalComputation operation, that is expected to be replaced during lowering with a self-contained component in the target language.
Figure out how (and if) this affects the trace generation/augmentation that circuitous does and how to do the lowering itself.