MapTop_LiftBot.find k `Bot should be Range.bot (), not top
MapTop_LiftBot.find k `Bot should be Range.bot (), not top

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