let
option_name =
"-input-with-formals"