Fix pretty-printer indenting and braces

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

@@ -254,7 +254,7 @@ class PrettyPrinter(sb: StringBuffer = new StringBuffer) {
           pp(pat, p)
           sb.append(" =>\n")
           ind(lvl+1)
-          pp(rhs, p)(lvl+2)
+          pp(rhs, p)(lvl+1)
       case GuardedCase(pat, guard, rhs) =>
           sb.append("case ")
           pp(pat, p)
@@ -262,7 +262,7 @@ class PrettyPrinter(sb: StringBuffer = new StringBuffer) {
           pp(guard, p)
           sb.append(" =>\n")
           ind(lvl+1)
-          pp(rhs, p)(lvl+2)
+          pp(rhs, p)(lvl+1)
 
       // Patterns
       case CaseClassPattern(bndr, ccd, subps) =>

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

@@ -393,7 +393,7 @@ class ScalaPrinter(sb: StringBuffer = new StringBuffer) extends PrettyPrinter(sb
   private def requiresBraces(ex: Tree, within: Option[Tree]): Boolean = (ex, within) match {
     case (_, None) => false
     case (_, Some(_: Definition)) => false
-    case (_, Some(_: MatchExpr | _: Let | _: LetTuple | _: LetDef)) => false
+    case (_, Some(_: MatchExpr | _: MatchCase | _: Let | _: LetTuple | _: LetDef)) => false
     case (_, _) => true
   }
 
@@ -411,7 +411,7 @@ class ScalaPrinter(sb: StringBuffer = new StringBuffer) extends PrettyPrinter(sb
   private def requiresParentheses(ex: Tree, within: Option[Tree]): Boolean = (ex, within) match {
     case (_, None) => false
     case (_, Some(_: Definition)) => false
-    case (_, Some(_: MatchExpr | _: Let | _: LetTuple | _: LetDef | _: IfExpr)) => false
+    case (_, Some(_: MatchExpr | _: MatchCase | _: Let | _: LetTuple | _: LetDef | _: IfExpr)) => false
     case (_, Some(_: FunctionInvocation)) => false
     case (ie: IfExpr, _) => true
     case (e1: Expr, Some(e2: Expr)) if precedence(e1) > precedence(e2) => false