This library contains common code to help with testing the language specific smt-transform implementations.