// rule 3
if ackchild is satisfied {
  if cred doesn't exist { 
    mark node processed 
  } else {
    if eAC = AC[cred] != null {
      get ACchild 
      if ACchild is satisfied { 
        add implication child
        mark node processed
      }
    }
  }