fix of fixHygiene: synchronous renaming of vars in Gs and Gt