false, true);
true, true);
    private DepthFirstOperationPhase createStateInferrer() {        DepthFirstOperationPhase processor = new DepthFirstOperationPhase(null,            new InferEarlyReferenceState(),            false, true);        return processor;    }