property := #synth AGnot(loc[system] = Crash);