keep tmp file names in session
spec change triggers analyze