function referenceDebugString<A> input A functionSymbol; output String name; end referenceDebugString;