Towards an automatic complexity analysis for generic programs