found counterexample for preservation property with arbitrary context
found counterexample for preservation property with arbitrary context

(t  := <{(\x:Bool->Bool, \y:Bool, x) (\x: Bool, y true)}>)
(Gamma := y |-> <{Bool -> Bool}>)

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps