c4 1
c4 2
c4 3
change #t to true to fix bug for cond->if
c4 4
test for c4 4
c4 5
c4 6
4_7 unfinished