removed FOFormula.FSet module