Debugging reinvented: asking and answering why and why not questions about program behavior