let
mk_create a =
assert
(
Term
.is_var a);
mk_create a