Simplifier: As we now assert type equality we can remove a safety net

If the simplifier receives an expression that isn't type-consistent it might
produce a type-inconsistent result, but we will now fail an invariant in that
case.

Author: tautschnig

src/util/simplify_expr_struct.cpp

@@ -270,8 +270,7 @@ bool simplify_exprt::simplify_member(exprt &expr)
         if(
           equivalent_member.is_not_nil() &&
           equivalent_member.id() != ID_byte_extract_little_endian &&
-          equivalent_member.id() != ID_byte_extract_big_endian &&
-          type_eq(equivalent_member.type(), expr.type(), ns))
+          equivalent_member.id() != ID_byte_extract_big_endian)
         {
           expr = equivalent_member;
           simplify_rec(expr);