docs: public void addPropertyToResolve(DifferentialFunction forFunction, String arrayName) {
          if (!propertiesToResolve.containsKey(forFunction.getOwnName())) {
              List<String> newVal = new ArrayList<>();
              newVal.add(arrayName);
              propertiesToResolve.put(forFunction.getOwnName(), newVal);
          } else {
              List<String> newVal = propertiesToResolve.get(forFunction.getOwnName());
              newVal.add(arrayName);
          }
      }