Some random cleanups
Make generalized functions have friendly quantifiers.
Disable Control Flow Analysis output. This analysis is underdeveloped anyway.