fun print_b_reduce strat i lim m =
  if (i = lim) then
    print "Reduction limit reached.\n"
  else if has_b_redex m then
    (printLEXP' m;
     print "--> ";
     print_b_reduce strat (i+1) lim (strat m))
  else
    (printLEXP' m;
     print (Int.toString i);
     print " steps.\n");