Corrected output size estimation in GOOStrategy. Also changed interface for ASTPrinter (now only needs the root of the "to be printed" tree)