A Rascal based project for analyzing Android