show number of current proof obligation