doc: explain must dependences in the result of dataflow analysis