add comments to dataflow analyses based on the monotone framework