Thanks to Peter Collingbourne and his group (the Multicore Programming Group
at Imperial College London) for developing and submitting some patches in
September 2012 related to SMT-LIBv2 compliance.