Devils in the Guide: Predicting Logic Vulnerabilities in Payment Syndication Services through Automated Documentation Analysis