#!/bin/sh
opts="
    -no-multi-refutation 
    -no-quant-instances  
    -no-imporant-quant   
    -no-new-literal-explanation 
    -no-subtrigger-matcher
    "

err=
for f in "" $opts ; do
  if FX7_FLAGS=$f "$@" ; then
    :
  else
    err="$err error for '$f'" 
  fi
done

echo $err