9. The computer-readable medium of claim 7 , further including generating an association list that identifies the relationship between the atomic assertions and the propositional symbols.
10. The computer-readable medium of claim 9 , wherein converting the trace configuration data into truth assignments for a set of propositional symbols includes converting the trace configuration data into truth assignments for Boolean symbols using the association list.