[analyzer] do not completely give up upon encountering unbound variables, just do not apply any optimization (still transform AST)
[analyzer] reconstruct some ternaries