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.
* [x] Controller checker (!915)
* [x] CIF to CIF transformer (!924)
Addresses #593
issue