make promela step in alarm mode