-- import the calculus rules and transformations
-- import LR-StandardReductions.inp
-- import LR-Answers.inp
-- import LR-Transformations.inp
-- import LR-Unions.inp
-- overlap all right hand sides of each transformation with all left hand sides of each normal
-- order reduction
-- union (abscpcx,0) = {(abs,0),(cpcx,0)}


overlap (lbeta).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)
               ,(ucp,0)}
        
        
overlap (cpT-e,1).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
              

overlap (cpd-e,1).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}

overlap (cpT-in,1).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}
        
overlap (cpd-in,1).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(lll,0)               
               ,(ucp,0)}

        

       
overlap (llet-in).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
        
overlap (llet-e).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
        
overlap (lapp).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)
               ,(llet,0)
               }
        
        
overlap (lcaselist).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(llet,0)
               ,(ucp,0)}
        
overlap (lcasepair).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(llet,0)
               ,(ucp,0)}
        
overlap (lcasebool).r 
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(llet,0)
               ,(ucp,0)}
        
overlap (lseq).r
    all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(cpcx,0)
               ,(caselist-c,0)
               ,(casebool-c,0)
               ,(casepair-c,0)
               ,(seq-c,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(llet,0)
               
               ,(ucp,0)}