simplification of the methods to check realizability and synchronizability