List<Equation> staticFieldEquations() {
    return EntryStream.of(interpreter.staticFields)
      .removeValues(v -> v == BasicValue.UNINITIALIZED_VALUE)
      .mapKeyValue((field, value) -> outEquation(exception, field, value, true))
      .nonNull()
      .toList();
  }
List<Equation> staticFieldEquations()