import java.util.Stack;
import jkind.lustre.Equation;
import jkind.lustre.Expr;
import jkind.lustre.IdExpr;
import jkind.lustre.Node;
<BUG>import jkind.lustre.VarDecl;
public class DependencyMap {</BUG>
private Map<Dependency, DependencySet> map = new HashMap<>();
public DependencyMap(Node node, List<String> roots) {
computeOneStepDependencies(node);

import java.util.Stack;
import jkind.lustre.Equation;
import jkind.lustre.Expr;
import jkind.lustre.IdExpr;
import jkind.lustre.Node;
import jkind.lustre.VarDecl;
import jkind.util.Util;
public class DependencyMap {
private Map<Dependency, DependencySet> map = new HashMap<>();
public DependencyMap(Node node, List<String> roots) {
computeOneStepDependencies(node);
