@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 p : preds) if (p.uses(var)) return false;
return true;
}