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