@Override
public boolean removable(final Var var) {
for (final TypeCase tc : cases) if (!tc.removable(var)) return false;
return ts.removable(var);
}
@Override
public final boolean removable(final Var var) {
for (final Expr step : steps) if (step.uses(var)) return false;
return root == null || root.removable(var);
}
@Override
public boolean removable(final Var var) {
for (final Expr e : exprs) if (!e.removable(var)) return false;
return true;
}
@Override
public boolean removable(final Var var) {
if (occ != null) for (final Expr o : occ) if (!o.removable(var)) return false;
return query.removable(var);
}
@Override
public boolean removable(final Var v) {
for (final TypeCase c : cases) if (!c.removable(v)) return false;
return ts.removable(v);
}
@Override
public boolean removable(final Var v) {
return root == null || root.removable(v);
}