Added tests of frozen/2.