@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 v) { return root == null || root.removable(v); }