Compute and expand sets (except follow). Add set test grammar.