fix some format typos

test/libsolidity/SMTChecker.cpp

@@ -343,7 +343,7 @@ BOOST_AUTO_TEST_CASE(bool_simple)
 	text = R"(
 		contract C {
 			function f(bool x) public pure {
-				if(x) {
+				if (x) {
 					assert(x);
 				} else {
 					assert(!x);
@@ -380,7 +380,7 @@ BOOST_AUTO_TEST_CASE(bool_int_mixed)
 		contract C {
 			function f(bool x) public pure {
 				uint a;
-				if(x)
+				if (x)
 					a = 1;
 				assert(!x || a > 0);
 			}

test/libsolidity/SolidityOptimizer.cpp

@@ -352,7 +352,7 @@ BOOST_AUTO_TEST_CASE(incorrect_storage_access_bug)
 			mapping(uint => uint) data;
 			function f() public returns (uint)
 			{
-				if(data[now] == 0)
+				if (data[now] == 0)
 					data[uint(-7)] = 5;
 				return data[now];
 			}