#79 an initial implementation of SetDifferenceTool is ready for integration testing