let is_empty is_empty_e (g, e, p) =
    G.is_empty g &&
    is_empty_e e &&
    P.is_empty p