let
option_name =
"-val-ignore-recursive-calls"