TAPAs_model_checker loading ...