PAT_(model_checker) loading ...