added code to calculate entrypoints for Android apps in a less ad-hoc manner. UI verification checker now working on simple example