Fixed bug in TBAA generation, added test that reproduced the bug.