Accurate and efficient refactoring detection in commit history | Synapse