translators
Trait translating a KCR program to a SMT problem
Generate a unique cache key for the flow identifiers
flow identifier
evaluation namespace
the cache key
Translate a configuration
the AST configuration
Trait translating a KCR program to a SMT problem