Does bug prediction support human developers? Findings from a Google case study | Synapse