"Правильность", при условии неизвестности алгоритма программы в целом, - категория относительная, но я уже давал простейшие схемы с одним потоком и ненулевой Delay. Дебаги перестанут сбоить сразу же, как они окажуться в ветке, порождённой точкой onSafeMode.