reachMonitor
public static SpatialTemporalMonitor<S, T, R> reachMonitor<S, T, R>(SpatialTemporalMonitor<S, T, R> m1, Function<SpatialModel<S>, DistanceStructure<S, ? extends Object>> distance, SpatialTemporalMonitor<S, T, R> m2, SignalDomain<R> domain)