Open
Description
For simplicity we only have tests for the combiner that look at the arithmetic relation so they don't check interaction with folded relation parameters and combiner. We have separate unit testing for those but we eventually need more comprehensive combiner tests.