To consider for migration: * [x] CIF to Supremica precondition checker (#370) * [x] CIF to mCRL2 * [x] Precondition checker (!998) * [~] Instance tree verifier (to be removed in #352) * [x] CIF PLC code generator precondition checker (!422) * [x] CIF to UPPAAL precondition checker (!387) * [x] CIF code generator (precondition checker and Simulink precondition checker) (!792) * [x] CIF controller (precondition checker and determinism checkers) (!901) * [x] CIF explorer precondition checker (!999 and !1007) * [x] CIF/BDD conversion (used by data-based synthesis and controller checker) * [x] Converter itself. (!990) * ~'Plants refer to requirement state' checker~ (to be moved to type checker in #743) * ~Non-determinism checker~ (requires BDD edges, so can't be related back to original specification) * [x] CIF to CIF (remove requirements, ...) (can't be done due to cyclic dependencies, see https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/424#note_2552108) * [x] CIF simulator (!1008) * [x] CIF event disabler (!1009 and !1012) * [x] CIF event-based toolset (!1011) * [x] CIF to yEd (!1010) * [~] CIF merger (can't be done using precondition checker framework, as it concerns conflicts between different input models)