Test code for paper 3.1.1 assumption 1 special case 2