add tests for existence operator