add ivory-examples to model-check tests
lookupVar instead of addEnvVar