The schematic equivalences presented in Sections 3.3 -3.4 can transform 1554 of these into a star-free form.
there still remain 1103 constraints that use the restriction operator To complete the proof of the star-freeness of ENGFSIG, I show that star-free languages are closed under the restriction operation (as in FSIG).