avoid termination proof without sentences