tree cb0a168f44f19f1917df1fbf0bdd8153a3b69952
parent 256d82a3d97ea1e96dd109fd884652800189e4ac
author Jinseong Jeon <jsjeon@google.com> 1560497944 -0700
committer Jinseong Jeon <jsjeon@google.com> 1560775998 +0000

Bottom-up propagation of specific assume* rules.

Bug: 133208961
Change-Id: I11126424628552358db523a144c285c80625a0ef