added non-monolithic weak test case
added non-monolithic weak test case

This testcase succeeds with monolithic, but fails without.
Perhaps this helps to resolve or show issues of the more naive
optimization algorithm that Christoph mentioned might exist.

hexhex/core,hexhex/core,hexhex/core,hexhex/core