gazelle_stdEvalContext_v2 - use statement multisets [dev.]