General debugging for Objectives