env.disablePostconditions("com.google.java.contract.tests.SelectiveContractsTest$B");
env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$C");
env.disablePreconditions("com.google.java.contract.tests.SelectiveContractsTest$D");
env.disableInvariants("com.google.java.contract.tests.SelectiveContractsTest$E");
env.ignore("com.google.java.contract.tests.SelectiveContractsTest$F");
env.ignore("com.google.java.contract.tests.SelectiveContractsTest$G");
env.disableInvariants("com.google.java.contract.tests.selective.a.*");
env.disableInvariants("com.google.java.contract.tests.selective.b.*");
env.enableInvariants("com.google.java.contract.tests.selective.b.y.*");