Fixed a typing issue that occurred when analyzing the LinkedIn app: The backwards solver did not apply type information contained in casts