Kripke_model loading ...