Fix root set computation for closures
Support not operator
Import examples
Support more operators
Add TODO