fix TWhile simplification (again)
hack together a working C#