Support path conditions that always apply at some particular function, rather than on the target stack.
Add simple flag to preserve an extra symbol during llvm final link.