removing extraneous stuff from stlc.fst