public static Term CFGConfigDone(Term state) { return(CFGConfig(IsaCommonTerms.Inr(IsaCommonTerms.Unit()), state)); }