let help = "display the list of pending properties for partial proofs"