public ReplaceVisitorAdapter(Var source, Var dest) { rv = new ReplaceFormulaVisitor (new ConstVar(source), new ConstVar(dest)); }