WyC: minor tweak to code generator to remove unused variables.