APSL: A Light Weight Testing Tool for Protocols with Complex Messages