public class Bug8 {

    public int foo(Object x) {
        assert x != null;
        if (x == null) return 1; else return 2;
    }
}