Test code for various assumption cases of paper 3.1.1 assumption 2