Processing big data often involves Extract-Transform-Load (ETL) workflows, whose operations clean, verify, and join multiple data sources into one output. For large input data, debugging these workflows becomes incredibly time consuming. We designed a program, accessible to the data scientist user, which automates reasoning over and test performance for various parts of the workflow.