analyzers.ConfigurationAnalyzer
Companion object of component traces
create component trace iff not already created
the trace
the ordering over flows
the ordering over constants
component trace
Companion object of component traces