let
sort_clause clause =
List
.sort compare_literals clause