else {
Input.Region region = phase().getLocation().createRegion(phase().getLocation());
new Result(r.rewrite(region, phase().parser().cache()), this, r, phase());
}
}
else {
Input.Region region = phase().getLocation().createRegion(phase().getLocation());
new Result(r.rewrite(region, phase().parser().cache()), this, r, phase());
}
}