S1
  A + FO + E
S1 P
  A + FO + E + P
S2
  A + FO + E + WRU
S3
  A + FO + E + WRU + P
S4
  A + FO + E + Leakproofness
S5
  A + FO + E + P + Leakproofness