[LAA] LLE 5/6: Add predicate functions Dependence::isForward/isBackward, NFC