Simplification of the code of simpleui.oz