Debugging in Clasp and Cleavir