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