semantic: Fix for mutable indirection.
test: Add mutable indirection test.