ValueFlow: extend aftercondition analysis below conditional code