Method ordered_call_term

Create a call term, given the input arguments in sorted order by argument names. ## Arguments `name`: function name `args`: map of argument name (String) to argument term (Term) `ret_sort`: return sort of the function ## Returns A call term with the input arguments in sorted order by argument names.

(
        &self,
        name: String,
        args: FxHashMap<String, Term>,
        ret_sort: Sort,
    )