c([[and,[=,x,1],[or,[=,x,2],[=,x,3]]],->,skip]).
c([[x],::,[[and,[=,x,1],[or,[=,x,2],[=,x,3]]],->,skip]]).
c([[x],::,[[and,[=,x,a],[or,[=,x,b],[=,x,c]]],->,skip]]).
c([do,[[[<,n,m],->,[[m],:=,[[-,m,n]]]],'|',[[<,m,n],->,[[n],:=,[[-,n,m]]]]],od]).
c([[a],:=,[[[d,e],:,foo,[[+,1,2],x,y]]]]).
c([[a],:=,[[d,e],:,foo,[[+,1,2],x,y]]]).
c([[x],::,[[and,[=,1,[*,x,x]],[=,2,[+,x,x]]],->,skip]]).
c([[x],::,[[=,1,[*,x,x]],->,skip]]).
c([x,::,[[=,1,[*,x,x]],->,skip]]).
c([[x,y],:=,[2,3]]).
c([[x,y],:=,[[+,2,3],[/,4,0]]]).
c([if,[[>,x,[+,[+,2,3],[+,4,5]]],->,skip],fi]).
c([if,[[cong,x,0],->,skip],fi]).
c([if,[[>,x,0],->,skip],fi]).
c([do,[[[and,[>,x,0],[e,[y],:,[=,x,[*,y,y]]]],->,skip],'|',abort],od]).
c([[x],::,[[and,[=,x,a],[or,[=,x,b],[=,x,c]]],->,skip]]).
c([[x],:=,[[cons,a,b]]]).
c([[x],:=,[[list,a,b,c]]]).