Tests for AnnExt_R corner case added