fix loop tag handling
infer case tag
Merge branch 'analyzer-WIP' into compiler-WIP
style fix