Add reference test with known inout and proven correct output for propagation of multiplication

[BjoernLudwigPTB]

With #328 we now have a new feature, which was implemented very thouroughly. Now we should add this last bit of making sure, everything works as expected. Calculate a proper example with a dimension not smaller than three and compare the pen and paper result with the implementation's calculations.