Undefined symbol expected to have PhASAR support. Actual behavior depends on the active analysis model and LLVM call form.