void (PsiType resType) { DfaControlTransferValue transfer = createTransfer("java.lang.ArithmeticException"); addInstruction(new EnsureInstruction(null, RelationType.NE, PsiTypes.longType().equals(resType) ? DfTypes.longValue(0) : DfTypes.intValue(0), transfer, true)); }