Added the early termination for inferring the fixed points.