def _parse_auxiliary_variables(input_dict):
    """ Parse the optional arguments for PolyReach """
    second_dict = {}
    for key_name in ['name', 'solver', 'smt_solver', 'plot', 'doi', 'dangerous_sets']:
        if key_name in input_dict.keys():
            second_dict.update({key_name: input_dict[key_name]})
    return second_dict