(*
 * The LOTOS specification "cim.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
 * "cim.bcg".
 *)

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