minor fixes on Android UI checking -- reverted to callgraph-based checking (no symbolic execution) since the symbolic execution doesn't fully work yet