void (Object[] x, Object[] y, int a) { if(<warning descr="Condition 'x[a] == null && a == x.length' is always 'false'">x[a] == null && <warning descr="Condition 'a == x.length' is always 'false' when reached">a == x.length</warning></warning>) { System.out.println("Impossible"); } y[0] = 1; if(<warning descr="Condition 'y.length > 0' is always 'true'">y.length > 0</warning>) { System.out.println("Always"); } }