Fixed proof tree printing