Added the prototype method ICanBoogie\Object::get_app