~ Printing status of the TDA
~ LAZY TDA LAUNCH CONFIGURATION
Annotations on lazy classes are resolved lazily