General Debugging for Objectives