gui for beagle, a model checker