Data flow analysis based on label propagation

Propagates data characteristics and checks whether the data and node characteristics violates constraints