Basic framework for STL* monitors testing.
Changes to monitors -- ConstantStarMonitor now able to deal with different sizes.
Test of binary point-wise STL* monitors.
Error message corrected.
Freeze monitor tested.
Parasim chooses verifier wrt formula star number.
Temporal operator monitor tests done. Until corrected.
STL* monitors tested (and corrected).