Tests for globals with different kinds of behavior in DS Analysis.