Compute read and write sets.
doc
Add util methods.
Predicate for active node in transaction.