Added an example of functional verification. See testsuite/channel_comm.sysj