@model<transition>

def main()
{
  @mu = []'1;
  @ms(1) = a*1;

  [a --> c]'1;
  [a --> b]'1;
}