digraph process_order {
b_eval1 -> c_eval1
c_eval1 -> b_eval2
}