// For each enabled transition in the property automaton, push a
// (application_state, automaton_state) pair to the exploration stack:
// For each enabled transition in the property automaton, push a
// (application_state, automaton_state) pair to the exploration stack:
auto transition_succ_label = api::get().get_automaton_transition_label(current_pair->automaton_state->out, i);
auto transition_succ_dst = api::get().get_automaton_transition_dst(current_pair->automaton_state->out, i);
if (evaluate_label(transition_succ_label, *prop_values))
auto transition_succ_label = api::get().get_automaton_transition_label(current_pair->automaton_state->out, i);
auto transition_succ_dst = api::get().get_automaton_transition_dst(current_pair->automaton_state->out, i);
if (evaluate_label(transition_succ_label, *prop_values))