let
help =
"when on (off by default), generate assertions on function calls based on contracts"