docs: public List<String> propertiesToResolveForFunction(DifferentialFunction function) {
          if (!propertiesToResolve.containsKey(function.getOwnName()))
              return Collections.emptyList();
  
          return propertiesToResolve.get(function.getOwnName());
      }