Fix conclusion for Stop Length Inference, update Abstract