Improve style (braces around multi-line if/else cases/conditions)

Author: smowton

src/goto-symex/build_goto_trace.cpp

@@ -285,10 +285,14 @@ void build_goto_trace(
       goto_trace_step.pc=SSA_step.source.pc;
       goto_trace_step.comment=SSA_step.comment;
       if(SSA_step.ssa_lhs.is_not_nil())
+      {
         goto_trace_step.lhs_object=
           ssa_exprt(SSA_step.ssa_lhs.get_original_expr());
+      }
       else
+      {
         goto_trace_step.lhs_object.make_nil();
+      }
       goto_trace_step.type=SSA_step.type;
       goto_trace_step.hidden=SSA_step.hidden;
       goto_trace_step.format_string=SSA_step.format_string;
@@ -309,9 +313,11 @@ void build_goto_trace(
         goto_trace_stept::assignment_typet::STATE;
 
       if(SSA_step.original_full_lhs.is_not_nil())
+      {
         goto_trace_step.full_lhs=
           build_full_lhs_rec(
             prop_conv, ns, SSA_step.original_full_lhs, SSA_step.ssa_full_lhs);
+      }
 
       if(SSA_step.ssa_lhs.is_not_nil())
         goto_trace_step.lhs_object_value=prop_conv.get(SSA_step.ssa_lhs);
@@ -326,7 +332,9 @@ void build_goto_trace(
       {
         if(j.is_constant() ||
            j.id()==ID_string_constant)
+        {
           goto_trace_step.io_args.push_back(j);
+        }
         else
         {
           exprt tmp=prop_conv.get(j);