Show how to access global solver objects

Since non-local static object initialization order in different
translation units is undefined, we have to use a local static object.