Added simplified heap model from Ynot.
Merge branch 'master' of https://github.com/jalpuim/dtp-refinement