Single2 did not return SymbolicAnyVar when an uninstrumented or native function was skipped. Liang pointed this bug.