sl/symexec: do not shadow a param of SymExec::execFnc()