This demonstrates how to wrap a "real" tool with a checker workflow that runs both the tool and a tool that performs verification of results