(promela) Remove useless warnings at backend execution