All static methods return Everywhere.EVERYWHERE context

This makes it easier for reasoning. It's also the default that
Milanova did for her work on k-object-sensitivity.