don't create :else node in annotate-branch when not already there
don't be too strict on host-expressions
Merge branch 'analyzer-WIP' into compiler-WIP