message: Do python stuff correct
diff: @@ -220,7 +220,7 @@ def _fold(num2const, value):
  # Short circuiting the logical operators `and` and `or` for two cases:
  # (1) `and x c0` -> false, where `c0` a constant that evaluates to `false`.
  # (2) `or x c1` -> true, where `c1` a constant that evaluates to `true`.
  - const_val = num2const[value.args[0]] if value.args[0] in num2const else num2const[value.args[1]]
  + const_val = num2const[value.args[0] if value.args[0] in num2const else value.args[1]]
  if (value.op == 'and' and not const_val) or (value.op == 'or' and const_val):
  return const_val
  return None
  