1. modelchecking remove.
	modified:   enigma2.bb