fvClause :: [Id] -> Clause -> [Id]