Idioms and Quirks

• ASS and friends are debug-only assertions, defined in Debug/Assertion. No donkeys here.
• Heavy use of "iterator" classes which can do slightly odd things. These are in the process of being re-organised somewhat by Joe.
• Some amount of unused/dead code. If it looks like nonsense, doesn't compile, or isn't reachable, it might well just not be used any more. Pull requests appreciated.
• Vampire assumes that it runs in a single-threaded (but not necessarily single-process) context. Some constructs take advantage of this. In particular we disable C++11 thread-safe statics.
• TODO any more you encounter!