Halstead's Metrics: Analysis of their designs