let
help =
"Apply Hoare model for arguments passed by reference."