proofdebug, positive tests