ir: Add more StatementExp related utils
semantic: Fully implement AA assignments