Forgot to check in oasis-related changes for re-adding Digraph