foreach x (*.mcrl)
  echo Test for $x
  set y=`basename $x .mcrl`
  instantiator $y.simp.tbf
end