LevelSliceLifter: only propagate bot to callee, if level is reached
LevelSliceLifter: only propagate bot to callee, if level is reached

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