can start testing the model checker