let
empty empty_e = (
G
.empty, empty_e,
P
.empty)