lifetimes in AnalyzeGeneric and tests