trace-feature (pypi): A lib to trace bdd features.
Keywords: BDD|Trace