Refactoring: edebug specs