@Override
  public DataValue ternaryOperation(AbstractInsnNode insn, DataValue value1, DataValue value2, DataValue value3) {
    int insnIndex = methodNode.instructions.indexOf(insn);
    effects[insnIndex] = getChangeQuantum(value1);
    return DataValue.UnknownDataValue1;
  }
@Override
  public DataValue ternaryOperation(AbstractInsnNode insn, DataValue value1, DataValue value2, DataValue value3)