package p; class A { void f(boolean init){ if (! init); } }