Optimize apron DownwarnClosedCluster.lock by not calling is_bot
Optimize apron DownwarnClosedCluster.lock by not calling is_bot

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