value flow: added experimental subfunction handling