- if (parent.phase()!=null || r.parent.phase()!=null) {
- if (parent.phase()==null) return 1;
- if (r.parent.phase()==null) return -1;
- if (parent.phase().pos < r.parent.phase().pos) return 1;
- if (parent.phase().pos > r.parent.phase().pos) return -1;
+ if (pred.phase()!=null || r.pred.phase()!=null) {
+ if (pred.phase()==null) return 1;
+ if (r.pred.phase()==null) return -1;
+ if (pred.phase().pos < r.pred.phase().pos) return 1;
+ if (pred.phase().pos > r.pred.phase().pos) return -1;