Fix bug caused by omitting resource invariant in application of || rule.
Fix bug caused by omitting resource invariant in application of || rule.

blzq/infer,blzq/infer,blzq/infer,blzq/infer,blzq/infer,blzq/infer