added forall-next tests for xWhere