fix unexpected memoization + add example illustrating need for uninterpreted functions
Merge pull request #23 from philnguyen/fix-havoc-memoization

fix unwatnted memoization + add example illustrating deficiency