-- | Those variables free in the both the left right hand sides of rules
-- returned as FV computation
rulesFVs :: [CoreRule] -> FV
rulesFVs = mapUnionFV ruleFVs
rulesFVs :: [CoreRule] -> FV
rulesFVs = mapUnionFV ruleFVs
rulesFVs = mapUnionFV ruleFVs