Add mines and common knowledge models
Add at base, collect, gotomine states