Take immutability annotations into the account.

Depends on issue #10 and takes the similar example into the account.

This should beneficial for all examples implementing traversals and manipulations.