add some ltl and ctl formulas for the communication layer