Add test case for interprocedural mod/ref in client code

Simple test case to check that mod/ref does work in our case.

See #45.