Checks whether asInstanceOf cast is redundant, i.e. whether the type of expression is the same as the cast type.