run models/testseq.als

analyzer throws an exception when it finds an error in this model.
would be nicer to have a graceful exit with an error message instead.

FIX: seems to work fine now, probably as a result of other bug fixes    