High-level debugging assistance via optimizing compiler technology | Synapse