specToString function
Emit a Spec into a String, considering Dart formatting.
Implementation
String specToString(Spec spec) {
final emitter = DartEmitter(useNullSafetySyntax: true, orderDirectives: true);
return spec.accept(emitter).toString();
}