use M.debug_each during analysis (the previous one didn't print the location)
use M.debug_each during analysis (the previous one didn't print the location)

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