Merge pull request #1031 from mdaiter/optimizeLookupTableBtor