A-priori verification of web services with abduction.