Add a trivial example of a program that hits the reduce and sc termination bound quickly
Add a trivial example of a program that hits the reduce and sc termination bound quickly

batterseapower/chsc,batterseapower/chsc,osa1/chsc,osa1/chsc,osa1/chsc