public override Expr VisitBvExtractExpr(BvExtractExpr node)
{
var bvCopy = this.Visit(node.Bitvector) as Expr;
var newNode = Builder.BVEXTRACT(bvCopy, node.End, node.Start);
Debug.Assert(bvCopy != null);
Debug.Assert(newNode != null);
return(newNode);
}
public virtual Expr BVEXTRACT(Expr operand, int end, int start)
{
return(UB.BVEXTRACT(operand, end, start));
}