private boolean newNode(Forest f, Pos reduction, StateNode pred, State state, boolean fromEmptyReduction) {
StateNode p = pred==null ? null : hash.get(state, pred.phase());
if (p != null) {
private boolean newNode(Forest f, Pos reduction, StateNode pred, State state, boolean fromEmptyReduction) {
StateNode p = pred==null ? null : hash.get(state, pred.phase());
if (p != null) {