declare fun {Graph List F} {Map List fun {$ E} E#{F E} end} end