checking bad transition only for debug