CFGBuilder (@NotNull RelationType relation, @NotNull DfType operand, @NotNull UnsatisfiedConditionProblem problem, @Nullable String exceptionType) { DfaControlTransferValue transfer = exceptionType == null ? null : myAnalyzer.createTransfer(exceptionType); add(new EnsureInstruction(problem, relation, operand, transfer)); return this; }