Error at 1349688: Expression expected.
./callyices.sh: line 1: 27095 Alarm clock             cat $1 $2
     27096                       | ./yices -tm 60 -smt -e
     27097                       | ./transYicesOut