term normalization was inserting 'unused' variables with name '_' gratuitously