Liveness update: liveness check extended to also StateMachineElements and not only StateElements. It supports only one check per time by now