EXPLAIN FORMAT=JSON: Add support for non-merged semi-joins