Changes on Semantics for CooPLa (basic bug corrections)
Completed CoordinationPattern2 extraction from CooPLa specifications