Predicates now able to work with frozen times.
Structures for verifiying STL*.
Predicate STL* monitor.
Star number and stars are now moved to predicates -- the will be propageted in a separate formula.
Structure to compute unfrozen variables in a STL* formula.