This will eventually need more language surrounding the behavior of statementref statements. Essentially, they should be returned in any query where the referred to statement would have been returned if it had been made with the same timestamp/stored as the statementref statement (and ignoring if the referred to statement was voided, as you note) (Note: this includes statements that would have been included under this rule, so in a sense this is recursive)