(Test suite: added causeNestingLevel parameter to @assertFails)