Add skeleton of android example
Make transaction manager predict sequences.\nAdd a (for some value of) `working` android example (ui thread)