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](https://docs.python.org/3/reference/expressions.html#boolean-operations).