@Override
      List<Equations> getEquations(MemberDescriptor method) {
        if (resetKeys.contains(method)) {
          return Collections.singletonList(new Equations(Collections.singletonList(
            new DirectionResultPair(Pure.asInt(), new Effects(DataValue.UnknownDataValue2, Collections.emptySet()))), true));
        }
        return myEquationProvider.getEquations(method);
      }
@Override
      List<Equations> getEquations(MemberDescriptor method)