import edu.berkeley.sbp.Sequence.Pos;
import java.util.*;
-final class ResultNode extends Node {
+final class ResultNode
+ extends Node<StateNode> {
private Forest.Many f = new Forest.Many();
//private HashSet<StateNode> predecessors = new HashSet<StateNode>();