<BUG>if (entry.getValue().term.<Void, Boolean>accept(this, null)) return true;
}</BUG>
return visitDefCall(expr, null);
}
@Override
<BUG>public Boolean visitReference(ReferenceExpression expr, Void params) {

return myBindings.contains(expr.getBinding());
</BUG>
}

@Override
public Referable visitApp(AppExpression expr, Void params) {
Referable result = expr.getFunction().accept(this, null);
if (result != null) {
return result;
}
for (Expression argument : expr.getArguments()) {
result = argument.accept(this, null);
if (result != null) {
return result;
}
}
return null;
}
