https://123dok.net/document/zx5o6r54-model-based-api-testing-for-smt-solvers.html