VerificationResultAsResult
specs2
verify
PactSpec