let
help =
"Apply Hoare model for variables when possible."