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