Fix yet another bug with unused variables

Checked until itab module.

There are 6 failing tests.
Merge branch 'master' of https://github.com/jack-pappas/NHol