Debug of disappearing specifications