2.0
Lam ("x", Id "x")
TA_Result(Lam ("x", Id "x"))
2.0
App (Lam ("x", Id "x"), Id "x")
TA_Result(Id "x")
2.0
App (Id "x", (Lam ("y", Id "y")))
TA_Result (App (Id "x", (Lam ("y", Id "y"))))
2.0
App (Lam ("x", App (Lam ("y", Id "y"), Id "z")), Id "k")
TA_Result (Id "z")
2.0
Lam("x",Lam("y",App (App (Lam("x",Id "x"), Lam("x",App (Id "y", Id "x"))), Lam("x",Id "x"))))
TA_Result (Lam("x",Lam("y",App (Id "y", Lam("x",Id "x")))))
2.0
App (Lam ("x", App (Id "x", Id "x")), Lam( "x", App (Id "x", Id "x")))
TA_Inf
2.0
App (Lam ("x", Id "y"), App (Lam ("x", App (Id "x", Id "x")), Lam( "x", App (Id "x", Id "x"))))
TA_Result(Id "y")
2.0
Lam("y",Lam("x",App (Id "y", App (App (Lam("s",Lam("z",Id "z")), Id "y"), Id "x"))))
TA_Result(Lam("y",Lam("x",App (Id "y", Id "x"))))
2.0
App (Lam("x",App (Lam("x",Lam("y",App (App (Id "y", Id "x"), Id "x"))), Id "x")), Id "z")
TA_Result(Lam("y",App (App (Id "y", Id "z"), Id "z")))
2.0
App (App (App (Lam("x",Lam("x",Lam("x",App (App (Id "y", Lam("x",App (App (Id "z", Id "x"), Id "x"))), Id "z")))), Id "x"), Id "y"), Id "z")
TA_Result(App (App (Id "y", Lam("x",App (App (Id "z", Id "x"), Id "x"))), Id "z"))
2.0
App (Lam("y",App (Lam("z",App (Lam("x",App (Id "x", Id "y")), Lam("x",App (Id "x", Id "z")))), Id "x")), Lam("x",App (Id "x", Id "x")))
TA_Result(App (Id "x", Id "x"))
2.0
App (App (Lam("y",App (Lam("z",App (Lam("x",App (Id "x", Id "y")), Lam("x",App (Id "x", Id "z")))), Id "x")), Lam("x",Lam("y",App (Id "y", Id "x")))), Lam("x",Id "x"))
TA_Result(Id "x")
2.0
App (App (Lam("y",App (Lam("x",App (Id "x", Id "x")), App (Lam("x",App (Id "x", Id "x")), App (Lam("x",App (Id "x", Id "x")), Id "y")))), Lam("x",Id "x")), Id "z")
TA_Result(Id "z")
2.0
App (App (Lam("y",App (Lam("x",App (Id "y", Id "x")), App (Lam("x",App (Id "y", Id "x")), App (Lam("x",App (Id "y", Id "x")), Id "y")))), Lam("x",Id "x")), Id "z")
TA_Result(Id "z")
2.0
App (App (App (Lam("x",Lam("y",Lam("z",App (App (Id "z", App (App (Id "x", Id "y"), Id "z")), App (Id "x", Id "y"))))), Lam("x",Lam("y",Id "y"))), Lam("x",Lam("x",Id "x"))), Lam("z",App (Id "x", Id "z")))
TA_Result(App (App (Id "x", Lam("z",App (Id "x", Id "z"))), Lam("y",Id "y")))