Importing a partial specification doesnt make the file partial

When importing a partial specification in a file, the file itself doesn't become partial. This seems as a bug, as the partial specification is now part of the file, thus making it partial.

Steps to recreate:

1. Create a file A.cif with some automata and variables.
2. Create an interface "A-interface.cif" using the CIF interface function. Add @@partial to the file.
3. Create a file B.cif, with no @@partial. B.cif imports A-interface.cif.
4. Merge A.cif and B.cif. In the console you will still get the warning "event not used".