Add support for local loop labels #334
Description
SLOTHY does not seem to like loop labels of the form .Ldeadbeef, but those are commonly found in assembly and we should support them.
{{ message }}
SLOTHY does not seem to like loop labels of the form .Ldeadbeef, but those are commonly found in assembly and we should support them.