class Assert2 { void check(String s) { assert s == null || s.length() > 0; } }