Unified 'Prover' interface, workind with Kind2 and the naive embedded prover