Added small test for traces with alternatives