Removed ivory-examples from model-check deps