STPL debug with fixed non-critical reactions with very high propensity