Contract abstraction related domains (2)