changed DBA to choose tuples in a deterministic way