start of signal.hsmm debugging - sequences on which signal.hsmm does not work