constraintAutomaton Tam (constraintAutomaton)