Merge pull request diffblue#4766 from danpoe/fixes/simplify-startswith

Check if operand is an index expr in simplify_function_application()

Author: danpoe

src/util/simplify_expr.cpp

@@ -206,7 +206,7 @@ bool simplify_exprt::simplify_function_application(exprt &expr)
     // things that are non-constant.
     if(
       first_address_of.object().id() != ID_index ||
-      first_address_of.object().id() != ID_index)
+      second_address_of.object().id() != ID_index)
     {
       return true;
     }