[ValueTracking] Add a framework for encoding implication rules