Add test for PSE Example 4.7