working framework down to DecisionAutomaton