get_vars :: [CClause] -> [SPVar]
get_vars cs = nub (Prelude.concatMap get_varsc cs)
get_vars :: [CClause] -> [SPVar]
get_vars cs = nub (Prelude.concatMap get_varsc cs)
get_vars cs = nub (Prelude.concatMap get_varsc cs)