Bug 953164 - IonMonkey: Improve type information at branches, r=jandem