Orca: differential bug localization in large-scale services | Synapse