TBAA: add testing case to check typedef can alias.