workaround for some batch_mode nonsense

Author: shazqadeer

Test/civl/regression-tests/left-mover.bpl

@@ -1,5 +1,6 @@
 // RUN: %parallel-boogie "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
+// UNSUPPORTED: batch_mode
 
 var {:layer 0,2} x : int;