Functional Coverage

 A better coverage model would:

1. Extract predicates from formal analysis.
2. Build dependency graph.
3. Remove dominated predicates.
4. Generate minimum test set.

This is much closer to the actual behavior space.