[DA] Simplify runtime predicate collection and extend to all dependence tests
Previously, predicates were collected using a local `Assume` vector. This patch
removes local `Assume` vector, uses class member `Assumptions` instead, and
extends predicate collection to all dependence tests.