Add Symb.id_to_int
Reconstruction of models with single sort