Some examples of dataflow analisys