Some CIF tools do annotation post-checking on specifications with component definitions/instantiations

The annotation post-checker only supports specifications without component definitions/instantiations. But, the CIF controller properties checker and CIF to CIF transformer do these checks on specifications that could have component definitions/instantiations.

• Controller checker (!915 (merged))
• CIF to CIF transformer (!924 (merged))

Addresses #593 (closed)