@NotNull
  public static List<Instruction> addAssertInstructions(@NotNull ControlFlowBuilder builder,
                                                        @NotNull PyTypeAssertionEvaluator assertionEvaluator) {
    final List<Instruction> instructions = buildInstructions(builder, assertionEvaluator.getDefinitions());
    for (Instruction instr : instructions) {
      builder.addNode(instr);
    }
    return instructions;
  }
@NotNull
  public static List<Instruction> addAssertInstructions(@NotNull ControlFlowBuilder builder,
                                                        @NotNull PyTypeAssertionEvaluator assertionEvaluator)