Merge the expr.has_operands conditions in one if

This makes the conditions in the `if` a bit simpler.

Author: romainbrenguier

src/goto-programs/interpreter_evaluate.cpp

@@ -345,21 +345,21 @@ void interpretert::evaluate(
     }
     else if(expr.type().id() == ID_pointer)
     {
-      if(expr.has_operands() && expr.op0().id()==ID_address_of)
+      if(expr.has_operands())
       {
-        evaluate(expr.op0(), dest);
-        return;
-      }
-      else if(expr.has_operands())
-      {
-        if(const auto i = numeric_cast<mp_integer>(expr.op0()))
+        if(expr.op0().id() == ID_address_of)
+        {
+          evaluate(expr.op0(), dest);
+          return;
+        }
+        else if(const auto i = numeric_cast<mp_integer>(expr.op0()))
         {
           dest.push_back(*i);
           return;
         }
       }
       // check if expression is constant null pointer without operands
-      else if(!expr.has_operands())
+      else
       {
         const auto i = numeric_cast<mp_integer>(expr);
         if(i && i->is_zero())