-- load the calculus description
import LNEED.inp

-- commands for overlaps, forking direction,
-- i.e. left hand sides of transformations with
-- left hand sides of normal order reductions              
              

               
               --
-- transformation llet-in
--
 

overlap (llet-in).l all 
	except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
    ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(cpx,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

--
-- transformation llet-e
--

overlap (llet-e).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(cpx,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation cp-e
--

overlap (cpT-e,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

overlap (cpd-e,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}


--
-- transformation cp-in
--

overlap (cpT-in,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
        
overlap (cpd-in,1).l all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation lbeta 
--
 
overlap (lbeta).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

overlap (seq).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}
--
-- transformation lapp
--
 
overlap (lapp).l all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}

overlap (lseq).l all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lbeta,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}


--
-- transformation cpx-in
--

overlap (cpx-in).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation cpx-e
--

overlap (cpx-e,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation xch
--

overlap (xch).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(SR,lll,+,0)
               ,(lseq,1)
               ,(lapp,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(abs,0)
               ,(gc,0)
               ,(ucp,0)}



--
-- transformation gc
--

overlap (gc,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(ucp,0)}

overlap (gc,2).l all
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               ,(ucp,0)}


--
-- transformation ucp
--

overlap (ucp,1).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }
overlap (ucp,2).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }
overlap (ucp,3).l all 
        except {(SR,lll,+,1),(SR,lll,+,2),(SR,lll,+,3)}
        ignore {(lapp,1)
               ,(lseq,1)
               ,(llet,0)
               ,(cpd,0)
               ,(cpT,0)
               ,(cpx,0)
               ,(xch,1)
               ,(abs,0)
               }