ReportmirmonIdempotency of prerm removeOSEF #0


Debug

root: r₁₄₉₆
clause: globals:
          r₁₄₉₆ -> 1753
          
equalities:
  
info:
  1753:
    initial: true
    kind: dir
    feats:
      bin -> 1807
      boot -> 1806
      dev -> 1805
      etc -> 1800
      home -> 1799
      lib -> 1798
      media -> 1797
      mnt -> 1796
      opt -> 1795
      proc -> 1794
      root -> 1793
      run -> 1791
      sbin -> 1790
      srv -> 1789
      tmp -> 1788
      usr -> 1768
      var -> 1754
    fen: false
    sims:
    nfens:
    nsims:
    
  1754:
    initial: true
    kind: dir
    feats:
      cache -> 1767
      lib -> 1765
      lock -> 1764
      log -> 1763
      opt -> 1762
      run -> 1761
      spool -> 1757
      tmp -> 1756
      www -> 1755
    fen: false
    sims:
    nfens:
    nsims:
    
  1755:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1756:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1757:
    initial: true
    kind: dir
    feats:
      cron -> 1760
      mail -> 1759
      mqueue -> 1758
    fen: false
    sims:
    nfens:
    nsims:
    
  1758:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1759:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1760:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1761:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1762:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1763:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1764:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1765:
    initial: true
    kind: dir
    feats:
      misc -> 1766
    fen: false
    sims:
    nfens:
    nsims:
    
  1766:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1767:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1768:
    initial: true
    kind: dir
    feats:
      X11R6 -> 1787
      bin -> 1786
      include -> 1785
      lib -> 1784
      local -> 1774
      sbin -> 1773
      share -> 1770
      src -> 1769
    fen: false
    sims:
    nfens:
    nsims:
    
  1769:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1770:
    initial: true
    kind: dir
    feats:
      man -> 1772
      misc -> 1771
    fen: false
    sims:
    nfens:
    nsims:
    
  1771:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1772:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1773:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1774:
    initial: true
    kind: dir
    feats:
      bin -> 1783
      etc -> 1782
      games -> 1781
      include -> 1780
      lib -> 1779
      man -> 1778
      sbin -> 1777
      share -> 1776
      src -> 1775
    fen: false
    sims:
    nfens:
    nsims:
    
  1775:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1776:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1777:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1778:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1779:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1780:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1781:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1782:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1783:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1784:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1785:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1786:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1787:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1788:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1789:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1790:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1791:
    initial: true
    kind: dir
    feats:
      lock -> 1792
    fen: false
    sims:
    nfens:
    nsims:
    
  1792:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1793:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1794:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1795:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1796:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1797:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1798:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1799:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1800:
    initial: true
    kind: dir
    feats:
      X11 -> 1804
      opt -> 1803
      sgml -> 1802
      xml -> 1801
    fen: false
    sims:
    nfens:
    nsims:
    
  1801:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1802:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1803:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1804:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1805:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1806:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1807:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims: