WSDL with receipt extensions