/* Examples for testing */

x/;
y/;

x;

lambda x. x;

(lambda x. x) (lambda x. x x); 

(lambda x. x y) (lambda x. y);

(lambda x.x) x;