Extend thesoz versions
Generalize changed_notations.rq