digraph process_order { g_eval_mealy1 -> a_eval_mealy1 a_eval_mealy1 -> d_eval_mealy1 d_eval_mealy1 -> e_eval_mealy1 e_eval_mealy1 -> b_eval_mealy1 b_eval_mealy1 -> c_eval_mealy1 }