TBAA: remove !tbaa from testing cases if not used.