need to implement cases for derivedFrom graph checking