Do not use BOOST_FOREACH in the core of the analysis.
Add a test checking for the happens-before relation.