Support division and negation
Remember the preconditions!
Update examples and execution for demo