(*
 * The LOTOS specification "overtaking.lotos" is compiled using the
 * CAESAR.ADT and CAESAR compilers and then reduced modulo strong
 * equivalence using the BCG_MIN tool. This generates a graph called
 * "overtaking.bcg".
 *)

"overtaking.bcg" = strong reduction of generation of "overtaking.lotos";