let help = "Computes wp only for the selected properties.\nType 'assigns' for all assigns clauses"