Kripke_structure loading ...