Workflow abstraction - buffer & solve things in multiple domains
Fix assumed bubbling