Added test case for 3.1.1 assumption 2, case 1