Data-flow related domains (4)