add methods to read from file and string in Model, correct the state mapping construction for the AutLtsWriter, removal of transition ids