Change pretty printer for FO programs