2021-10-08-add-dataflow-for-boolean-expressions.md

lgtm,codescanning

• Added data-flow from both x and y to x or y and x and y, as a slight over-approximation of what is described in the Python Language Reference.