[FOLD] if (!x) fail("y") -> expect(x, "y")