Evaluate if \b this expression can be easily propagated past a merge point. Also can the Varnode be used past the merge, or does its value need to be reconstructed. \param root is the split point \param branch is the block on which the expression exists and after which is the merge \return \b true if the expression can be propagated