CiD: automating the detection of API-related compatibility issues in Android apps | Synapse