Implemented unittests which test that the contract for In is respected: we test
that aliasing the input is impossible with borrow=False.