Improvements to unrecheable code detector