added rule into CASImpl
more test cases