Currently (we believe) CoreToStg is responsible for computing free variables. However, later STG transformations may invalidate this information.

It would make more sense to defer FV computation until the end of the STG pipeline.