instance of hasLoaded attributes in PetWorld.java