Optional dependencies & reporting graph violations