#1001 CIF to CIF transformations: change which transformations remove controller properties annotations
- CIF to CIF linearize merge no longer removes controller properties annotations.
- CIF to CIF anonymize names, eliminate groups and lift events no do remove controller properties annotations.
Closes #1001 (closed)