Add debugging for proof