Merge "ART: Refactor SsaBuilder for more precise typing info"