Add test for theoretical beautification issues.