Plumbing breakpoints down into alloy Debugger interface.