ikos
ikos copied to clipboard
Implement backward operators
We could implement backward operators to improve the precision on guards.
This could help with #97 and #134.