Current PRE methods insert an expression $e$ at point $p$ only if all control flow paths emanating from $p$ must evaluate $e$ before any operands of $e$ are redefined. The expression is said to be anticipable at point $p$. [0]