test apollo with default cocos and attempt to adapt the cocos

[linggd]

The Apollo-11 models can already be parsed(#146) . The symbol resolution and CoCos are adapted so that the models also pass the CoCos.

Errors exposed by the CoCos:

0xFF005 — adapted : Quoted SysML names may contain whitespace and dots, for example 'Roger B. Chaffee'. The name validation is extended to allow these valid names.

0x10AA1 — adapted: Imported PartDefs could not always be resolved for PartUsages. There were three main causes:

1. resolvePartDef() did not consider imports in the same way as type resolution.
2. Dots inside quoted names such as 'Roger B. Chaffee' were incorrectly interpreted as qualification separators.
3. Some imports belong to the current package scope, and were missed when only the enclosing scope was inspected.

0xA7003x70648 — adapted: The CoCo called getName() on unnamed PartUsages. Since unnamed PartUsages are valid, they are now ignored by this name check.

0x10031 — to be adapted: Referenced state definitions and state usages could not always be resolved.
0x10AA2 — to be adapted: Imported PartDefs used as refinement targets could not always be resolved.

Changelog

Added

• Added support for quoted SysML names containing whitespace and dots, such as 'Roger B. Chaffee'.

Changed

• Enabled PartUsages to resolve PartDefs declared in imported packages.
• Extended import resolution to consider imports declared in the current package scope.
• Updated name checks to safely ignore unnamed PartUsages.