added property test for A^* grammar