ReportsntpIdempotency of postrm removeOSEF #0


Debug

root: r₃₉₀₄
clause: globals:
          r₃₉₀₄ -> 5062
          
equalities:
  
info:
  5062:
    initial: true
    kind: dir
    feats:
      bin -> 5116
      boot -> 5115
      dev -> 5114
      etc -> 5109
      home -> 5108
      lib -> 5107
      media -> 5106
      mnt -> 5105
      opt -> 5104
      proc -> 5103
      root -> 5102
      run -> 5100
      sbin -> 5099
      srv -> 5098
      tmp -> 5097
      usr -> 5077
      var -> 5063
    fen: false
    sims:
    nfens:
    nsims:
    
  5063:
    initial: true
    kind: dir
    feats:
      cache -> 5076
      lib -> 5074
      lock -> 5073
      log -> 5072
      opt -> 5071
      run -> 5070
      spool -> 5066
      tmp -> 5065
      www -> 5064
    fen: false
    sims:
    nfens:
    nsims:
    
  5064:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5065:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5066:
    initial: true
    kind: dir
    feats:
      cron -> 5069
      mail -> 5068
      mqueue -> 5067
    fen: false
    sims:
    nfens:
    nsims:
    
  5067:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5068:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5069:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5070:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5071:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5072:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5073:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5074:
    initial: true
    kind: dir
    feats:
      misc -> 5075
    fen: false
    sims:
    nfens:
    nsims:
    
  5075:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5076:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5077:
    initial: true
    kind: dir
    feats:
      X11R6 -> 5096
      bin -> 5095
      include -> 5094
      lib -> 5093
      local -> 5083
      sbin -> 5082
      share -> 5079
      src -> 5078
    fen: false
    sims:
    nfens:
    nsims:
    
  5078:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5079:
    initial: true
    kind: dir
    feats:
      man -> 5081
      misc -> 5080
    fen: false
    sims:
    nfens:
    nsims:
    
  5080:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5081:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5082:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5083:
    initial: true
    kind: dir
    feats:
      bin -> 5092
      etc -> 5091
      games -> 5090
      include -> 5089
      lib -> 5088
      man -> 5087
      sbin -> 5086
      share -> 5085
      src -> 5084
    fen: false
    sims:
    nfens:
    nsims:
    
  5084:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5085:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5086:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5087:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5088:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5089:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5090:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5091:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5092:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5093:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5094:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5095:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5096:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5097:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5098:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5099:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5100:
    initial: true
    kind: dir
    feats:
      lock -> 5101
    fen: false
    sims:
    nfens:
    nsims:
    
  5101:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5102:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5103:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5104:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5105:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5106:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5107:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5108:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5109:
    initial: true
    kind: dir
    feats:
      X11 -> 5113
      opt -> 5112
      sgml -> 5111
      xml -> 5110
    fen: false
    sims:
    nfens:
    nsims:
    
  5110:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5111:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5112:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5113:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5114:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5115:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5116:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims: