Bugfix for typecasts: We can cast java.lang.Object to an array type. The type stored with the access path must then be updated accordingly. If we are in the backwards solver, we do not know which type the variable had before the cast, so we pass on null.