Clarify Streett condition semantics