void () { String aString; if (nullableString() != null) { aString = nullableString(); if (aString != null) { for (int i = 0; i < 10; i++) { takesNotNullString(aString); // Bang-bang here aString = nullableString(); } } else { aString = "aaa"; } } else { aString = "bbbb"; } }