fixup! Make interpreter handle typecast in pointer expr

Author: romainbrenguier

src/goto-programs/interpreter_evaluate.cpp

@@ -359,7 +359,7 @@ void interpretert::evaluate(
           evaluate(object_ref.get(), dest);
           return;
         }
-        if(const auto i = numeric_cast<mp_integer>(object_ref))
+        else if(const auto i = numeric_cast<mp_integer>(object_ref))
         {
           dest.push_back(*i);
           return;