[ModelChecker] Add a check_all function.