假终止

pseudo termination