PrettyPrintInternalTree and print-internal argument
use internal methods for Unrolling and LoopDetection