condition_depends_on_readl
if (condition_depends_on_readl(expr->left))
if (condition_depends_on_readl(expr->right))
if (!condition_depends_on_readl(expr))