let print_if_term (func : string) (t : Types.if_term) : unit = prout_string (if_term_to_string func t)