Added FIXMEs for obvious bugs in lifetime analysis