let
create ?group p = create (
Property
.may_cons
P
.group group p)