makes sense of the debug init sequent