@Override
        public boolean equals(Object obj) {
            if (this == obj)
                return true;
            if (obj == null)
                return false;
            if (getClass() != obj.getClass())
                return false;
            final Loop other = (Loop) obj;
            if (header == null) {
                if (other.header != null)
                    return false;
            } else if (!header.equals(other.header))
                return false;
            if (loopStatements == null) {
                if (other.loopStatements != null)
                    return false;
            } else if (!loopStatements.equals(other.loopStatements))
                return false;
            return true;
        }