Now works without custom buildDictionaryT
Note HERMIT commit https://github.com/ku-fpg/hermit/commit/18694aef8b214994fe33b27da7710647caec0203