adds QF_S and rewrite priority