semimarkov update re-written (beware uncompilable state)