Assign predicate to FSM graph edges