{A-Priori Verification of Web Services with Abduction}