return this->astCtxt->extract(
          node->getBitvectorSize()+1,
          1,
          this->astCtxt->bvror(
            this->astCtxt->concat(
              node
              this->getOperandAst(cf),
            ),
            1
          )
        );