set stinfo['possibletypes'] and update solution dictionnary for variable inserted for new identity relation