Add structure for CTL formulas. Added Operators. Added simple parser
with input like: OPERATOR(arg1,...,argN)