Refactoring, EmptyPath and NonEmptyPath should be available in the graph
package