Optimize Queries.Result.top by avoiding first-class module
Optimize Queries.Result.top by avoiding first-class module

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer