Query for unused branches
Compare the events present in the set of traces with the events in the schema, and flag any unused events / branches. This will help users identify if their model is overconstrained.
Formerly described as: List in the console events that appear in schema but not in traces (informational)