Validate that global protocol instance references a global protocol definition
Add local protocol instance validation
Verify number of args and role instantiations
Further work on validation for protocol instance (global and local), and some minor refactoring
Validate global message transfer parameter
Fix parser example based on validation rule