A semantic compatibility verifier