Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive
Compare changes
- Stephan Seitz authored
super().is_positive This can lead to surprising simplifications
This can lead to surprising simplifications
super().is_positive This can lead to surprising simplifications