final public function updateVariableToBeIdentical(
        Node $var_node,
        $expr,
        Context $context = null
    ): Context {