pub fn write_models(writer: &mut impl Write) -> Result<(), String>
Write all models in the Intermediate Model Representation to a writer.