public bool Find(QilNode expr, QilNode target) { this.result = false; this.target = target; this.parent = null; VisitAssumeReference(expr); return this.result; }