Add `__loop_condition` labels before syntactic loop conditions#197

sim642 wants to merge 2 commits intodevelopgoblint/cil:developfrom

loop-condition-labelsgoblint/cil:loop-condition-labelsCopy head branch name to clipboard