modfity AbstractModelChecker to ModelChecker