code: public List<String> propertiesToResolveForFunction(DifferentialFunction function) {
          if (!propertiesToResolve.containsKey(function.getOwnName()))
              return Collections.emptyList();
  
          return propertiesToResolve.get(function.getOwnName());
      }
docs: Return the properties to resolve for the given function.
  This is typically used right before execution in model import in
  {@link DifferentialFunction#resolvePropertiesFromSameDiffBeforeExecution()}
  
  @param function the function get the properties to resolve for
  @return the properties to resolve for the given function