Unified paths() and reverse() functions in the verification databases.