Model checker optimized

Optimized model checker using JPFs MJI feature. Furthermore added
possibility to generate the state model and verify multiple properties
subsequently.