let print_constraint args = 
  let c = List.hd args in
  (* Remove the context since it is not interesting. *)
  let c = match c with
      CLet ([ Scheme (_, _, _, c, _) ], _) -> c
    | c -> c
  in
  printf_constraint (Txt (Channel stdout)) c