Control-Flow Residual Analysis for Symbolic Automata ∗ Shaun Azzopardi