Utils: add ability to get a global's type from the global name.
DOT: truncate long path conditions
Spot 'and' used to examine or enforce alignment in constant expressions, when neither operation can affect the pointer itself due to its natural alignment.
Temporarily allow O_RDWR files for SQL experiment (needs extra guards, e.g. write ops will perturb the FD position)
Add a shorthand path condition that asserts a global variable holds its initialiser value.