Printer can have access to the program, if passed

src/main/scala/leon/purescala/Common.scala

src/main/scala/leon/purescala/DefOps.scala

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/PrinterHelpers.scala

src/main/scala/leon/purescala/ScalaPrinter.scala

src/main/scala/leon/synthesis/FileInterface.scala

src/main/scala/leon/utils/PrintTreePhase.scala

src/test/scala/leon/test/purescala/DefOpsTests.scala

src/test/scala/leon/test/synthesis/StablePrintingSuite.scala