Added functionality to check if informaion can flow from a label to another one