AbstractStarMonitor now truncates too long coordinates.
Unary temporal monitors.
Introduced until STL* monitor.