The source project of this merge request has been removed.
#120 Make preprocessing and supported specification consistent for CIF to mCRL2.
requested to merge (removed):#120-make-preprocessing-and-supported-specification-consistent into develop