https://123dok.net/document/yevn1ndr-proof-guided-test-selection-first-order-specifications-equality.html