Make ltlworkshop patrol spec non-trivial.