// This file was generated from UPPAAL 3.4.3, Dec 2003
// Copyright (c) 2004, Oskar Wibling

/*

*/
A[] not deadlock

/*

*/
A<> Lunar0.unic_rrep_rec

/*

*/
A<> Lunar1.ip_rec_ok