New test case for expanded Leif example; updates accordingly to the two pre-existing test cases.