Added tests for annul operation