Package for the constraits checker of mode automaton.