Fixing an unnatural selection of subterms larger than expected in the
presence of let-ins.