#1067 Add CIF to CIF transformation to convert a specification to its interface
- This adds the 'Convert to interface' CIF to CIF transformation, in two flavors: one that keeps input variables, and one that removes them.
- For the reason why we want to have this transformation, see the description of issue #1067 (closed).
- Best to review per commit. Note that the changes to the CIF to CIF transformer test ToolDef script are done in two consecutive commits, for easier reviewing.
- I added integration test. But, I also ran the transformation on all
.ciffiles in the CIF examples, CIF benchmarks and the CIF tests. I excluded models that are not valid by themselves (as they need to be merged with something else for instance), as well as the CIF type checker tests (most of these are invalid models). This way, I found that component parameters of component definitions needed to be preserved.
Closes #1067 (closed)