let
name_of_hint_assertion =
"hint"