changed name of some examples. combined ltlediting to firefighting