fix compilerProofs for changes to semantics of printing