Symbolic Debugging of Optimized Code | Synapse