Implement a dataflow analysis which tracks how input table columns flow through a circuit.
In particular, detect when equi-joins use columns that are derived directly from input tables.