I work with a cfengine installation that has grown organically and become quite complicated. Some stanzas use many classes, e.g., class1&(class2|class3)&!class4|class5
Is there some tool that would take a cfengine config and simplify it, similar to the simplification of logic circuits with boolean algebra?
Failing that, are there any tools for analyzing cfengine configurations? E.g., a class and object visualization tool might be helpful.