decoupled abstract model state IDs from generated Android resources, this resolves #1

Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>