import com.jetbrains.jetpad.vclang.core.pattern.elimtree.EmptyElimTreeNode;
import com.jetbrains.jetpad.vclang.core.pattern.elimtree.LeafElimTreeNode;
import com.jetbrains.jetpad.vclang.core.pattern.elimtree.visitor.ElimTreeNodeVisitor;
import java.util.Map;
import java.util.Set;
<BUG>public class FindBindingVisitor extends BaseExpressionVisitor<Void, Boolean> implements ElimTreeNodeVisitor<Void, Boolean> {
</BUG>
private final Set<? extends Referable> myBindings;
public FindBindingVisitor(Set<? extends Referable> binding) {
myBindings = binding;

import com.jetbrains.jetpad.vclang.core.pattern.elimtree.EmptyElimTreeNode;
import com.jetbrains.jetpad.vclang.core.pattern.elimtree.LeafElimTreeNode;
import com.jetbrains.jetpad.vclang.core.pattern.elimtree.visitor.ElimTreeNodeVisitor;
import java.util.Map;
import java.util.Set;
public class FindBindingVisitor extends BaseExpressionVisitor<Void, Referable> implements ElimTreeNodeVisitor<Void, Referable> {
private final Set<? extends Referable> myBindings;
public FindBindingVisitor(Set<? extends Referable> binding) {
myBindings = binding;
