Precondition test for MainActivityTests