@Override
  public BasicValue newOperation(AbstractInsnNode insn) throws AnalyzerException {
    return switch (insn.getOpcode()) {
      case ICONST_0 -> FalseValue;
      case ICONST_1 -> TrueValue;
      default -> super.newOperation(insn);
    };
  }
@Override
  public BasicValue newOperation(AbstractInsnNode insn)