Renamed UserChoiceTest to ApplicationStateTest