let sort_clause clause =
  List.sort compare_literals clause