let setAutomata auto =
let auto = type_cond_auto auto in
automata:=auto;
check_states ();
if Aorai_option.debug_atleast 1 then
Promelaoutput.output_dot_automata auto "aorai_debug_reduced.dot";
if (Array.length !cond_of_parametrizedTransitions) <
(getNumberOfTransitions ())
then
(* all transitions have a true parameterized guard, i.e. [[]] *)
cond_of_parametrizedTransitions :=
Array.make (getNumberOfTransitions ()) [[]]