let
help_msg =
"generates annotations for runtime error checking and preconditions at call sites"