After the above loop is executed, you should assert that there is at least one installed product remaining.