debug coq backspace bug @source(spec/quickadd.spec)