Towards mutation analysis of Android apps | Synapse