(*******************************************************************************
 *                                IMITATOR MODEL
 *
 * Description      :
 * Author           : Étienne André
 * Computation      : Unsolvable
 ******************************************************************************)

property := #synth DeadlockFree;