foreach x (*.mcrl)
  echo Test for $x
  set y=`basename $x .mcrl`
  mcrl -tbfile -regular -nocluster $x
  constelm -alt strictleft $y.tbf | parelm > $y.simp.tbf
  confcheck -mark -silent <$y.simp.tbf >$y.mark.tbf
  confelm -silent <$y.mark.tbf >$y.prio.tbf
  instantiator -confluent ctau $y.mark.tbf
  instantiator -confluent ctau $y.prio.tbf
end