成立するはずのものは成立するはずだから、何も書くなと？

プログラミングミスを拾いたければ

public void a(int i) {
if(i > 0) b(i);
}
private void b(int i) {
if(i <= 0) throws IllegalArgumentException();
...
}

とかけとか？