The Static Semantics Of The Green-Marl Graph Analysis Language