Fixed a problem in the compiler. Added another example of channel communication and liveness property