[YICES-HELP] works with -tc, crashes without

[Johannes Waldmann]

> (assert (gt (times a a) (times b (times b b))))
> (assert (gt (times b b) a))

Ah! It seems there is only a single assert statement allowed.
The following works fine:

(assert
    (and (gt (times a a) (times b (times b b)))
	 (gt (times b b) a)))