recursion is supposed to be easier than this
CompoundStm seems done
adding a nice little diagram for progD