How Many Clauses are There in FSSC 22000?