add example to the symbolic abstraction of operations