
if [ $# -eq 1 ]; then
  inputfile="$*"
  if [ ! -f "$inputfile" ]; then
    die "invalid input file: '$inputfile'"
  fi
fi

if [ ! -f "$btor2dot" ]; then
  die "could not find 'btor2dot'"
fi

for ps2pdf in epstopdf ps2pdf unknown
do