Rework things so that pretty printing a crash summary only includes
the bits of the BDD ordering which are actually relevant to the summary.
Do something vaguely sensible if running the probe machine immediately
after the store machine is guaranteed to crash.
It's not worth trying to constant fold floating point operations.
Whitelist them in bdd quickSimplify.
Fix up a couple of places whcih awere still using the old visitor API.
Merge github.com:sos22/SLI

Conflicts:
	sli/inferred_information.hpp
	sli/offline_analysis.cpp