/* Examples for testing */

x/;
x;

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