Added LTL
Implemented CafeNervosa using channels