let
diff =
create_symbol
Skolem
"diff"
"diff"
2