StaticGet something
Dominance analysis computes dominance frontier