Wouldn't it make more sense to state the assumptions first? Because then the model has this critical check in its context and can react appropriately. Otherwise, it will just write this step, but what's written before is already written.
If it's the reasoning kind, then it'll run through one iteration in the background before it composes its emissions for the meatbag.