value flow: improved subfunction handling when using && or || in function argument