Fix tbaa for slice attributes; add tbaa test TODO.