pub fn fmt_smt_horn<T: Types>(task: &Task<T>, f: &mut Formatter<'_>) -> Result
Format a task in the SMT-LIB HORN CHC format