Use bot instead of top for base mutex contents
Use bot instead of top for base mutex contents

This avoids unknown value escape warnings.

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