Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core - View it on GitHub