moved the main classes (entry points) for checking realizability/synchronizability to the cif package