LogicalIntersect Not implemented

[nmiletic]

Thank you for this great tool.

Reading readme of prover it states that INTERSECT is supported. But I am getting LogicalIntersect Not implemented from parser.

I am trying to parse following file:

-- Declare table schemas
create table db(
  platform varchar,
  version varchar,
  traffic_type varchar,
  dbno     integer,
  constraint pk_db primary key (dbno)
);

-- Define queries (There should only be two!)
SELECT version
FROM db
WHERE platform IN ('ZA-1000', 'SM-100')
AND traffic_type = 'Sport'
GROUP BY version
HAVING COUNT(DISTINCT platform) = 2;
SELECT version
FROM db
WHERE (platform = 'ZA-1000' AND traffic_type = 'Sport')
INTERSECT
SELECT version
FROM db
WHERE (platform = 'SM-100' AND traffic_type = 'Sport');

but I am getting following error

qed-parser test.sql
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
In file:
test.sql
java.lang.UnsupportedOperationException: Not implemented: LogicalIntersect