added some rules to translate from LTL to UNITY logic