Formal_model loading ...