Port of testability-explorer to Dart.