Exploring the use of automated API migrating techniques in practice | Synapse