Fixed non-termination for invalid inference rules