7.3.2 Minor Analysis Improvements Java assert statements are now assumed to be executed for the purpose of analysing control flow. This improves precision for a number of queries.