edges A library for modeling Finite State Machine transitions as either dependent or independent sequences of predicates