TODO for a single line the height includes the leading; should it? TextEdit on OS X always includes the leading and/or paragraph spacing, otherwise Klee won't work... TODO width does not include trailing whitespace
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected
searching dependent graphs…