diff -r dfc0384768eb -r 96c2da5217f8 test/Tools/isac/Frontend/use-cases.sml
--- a/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 14:25:34 2016 +0100
+++ b/test/Tools/isac/Frontend/use-cases.sml	Tue Dec 27 13:20:33 2016 +0100
@@ -1290,9 +1290,7 @@
  if map fst (get_interval ([1],Res) ([],Res) 9999 pt) = 
     [([1], Res), ([2, 1], Frm), ([2, 1], Res), ([2, 2], Res), ([2, 3], Res),
       ([2, 4], Res), ([2, 5], Res), ([2, 6], Res), ([2, 7], Res),
-      ([2, 8], Res), ([2, 9], Res), ([2], Res)
-(*WN060727 {cutlevup->test_trans} removed: , 
-      ([], Res)(*dropped, if test_trans doesnt stop at PblNd*)*)] then () else
+      ([2, 8], Res), ([2, 9], Res), ([2], Res)] then () else
  error "FE-interface.sml: diff.behav. in FORMULA:replace} other 2";
 DEconstrCalcTree 1;