getWider
Return
the wider (more general) between the two: if either one is GLOBAL, then GLOBAL is returned. Otherwise, if either one is NEIGHBORHOOD, NEIGHBORHOOD is returned. Otherwise, LOCAL is returned.
Parameters
c1
context to compare
c2
other context to compare