multiple clause with such that, with, and pattern in one clause - test cases