Model_checker loading ...