public final Node node;
public final DependencyMap dependencyMap;
public final Map<String, Type> typeMap;
private Relation transitionRelation;
private Relation ivcTransitionRelation;
<BUG>public Specification(Node raw, boolean slicing) {
this.dependencyMap = new DependencyMap(raw, raw.properties);
this.node = slicing ? LustreSlicer.slice(raw, dependencyMap) : raw;
this.typeMap = Util.getTypeMap(node);</BUG>
}

public final Node node;
public final DependencyMap dependencyMap;
public final Map<String, Type> typeMap;
private Relation transitionRelation;
private Relation ivcTransitionRelation;
public Specification(Node raw, boolean slicing) {
if (slicing) {
this.dependencyMap = new DependencyMap(raw, raw.properties);
} else {
this.dependencyMap = DependencyMap.full(raw);
}
this.node = LustreSlicer.slice(raw, dependencyMap);
this.typeMap = Util.getTypeMap(node);
}
