A few testcases for policy summaries