Question: How much improvement is gained from the proposed approaches?
Answer: It eliminates non-termination in some models fixing for some models up to 6% of non-termination ratio.