[[ ExecValue-ization ]] Few more places updated to use an ExecValue instead of processing a conversion to ValueRef