Make uf strong solver user-context dependent, fixes bug 522.