diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 83c1d29b7fc6fed3332f33fe68dc6a0d9376be58..22c8c174b746865e2e6f6de250744a16ff9633f2 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -556,6 +556,8 @@ class PrettyPrinter(opts: PrinterOptions,
     case Let(_, _, bd) => Seq(bd)
     case LetDef(_, bd) => Seq(bd)
     case Require(_, bd) => Seq(bd)
+    case IfExpr(_, t, e) => Seq(t, e) // If always has braces anyway
+    case Ensuring(_, pred) => Seq(pred)
     case _ => Seq()
   }