initial support for locations in ivory-model-check