Metric_temporal_logic loading ...