We separate the physical view and logic view of IR, and make algorithms work on the high-levellogic view, and map the high-level algorithms into low-level IR through view transformations.
Ideally, methods on the facade should provide high-level access to the business logic behavior and contain no hint of how the logic is actually implemented.
With appropriate tool support, designers could perform execution or simulation and debugging on high-level system models to validate and verify system logic early on.