Nested loops

for(PTypeDecl S : getSuperDecls()) {
  for(PTypeDecl S_prime : getSuperDecls()) {
    for(Set<PDecl> m_s : S.containsSet().values()) {
      for(Set<PDecl> m_primes_s : S_prime.containsSet().values()) {
        for(PDecl m: m_s) {
          for(PDecl m_prime : m_primes_s) {
            ...
          }
        }
      }
    }
  }
}