1. A computer program product embodied on a tangible computer readable medium, comprising: computer code for receiving an assertion at a debugger; computer code for debugging the assertion, utilizing the debugger; and computer code for returning results of the debugging.