properly implemented fix-point checking in Analysis 1 and various bug fixes