implemented new algorithm

can change temporal operators..some minor bugs while changing
opearators
LTL formula being built using new recursice algorithm
merged old and new code

not the best merge but works..will need to refactor later