ivory-examples: unused dep.
ivory-model-check: unused dep.
ivory-opts: unused import.