Static Verification of Control and Data in Web Service Compositions