cleanup of RefinementVisitor