Far Termination For Default Clause