BLAST_model_checker loading ...