let option_name = "-input-with-formals"