Wrong output on kleene closure with disjunction

[monadplus]

# queries
SELECT *
FROM S
WHERE ((T OR (H FILTER H[hum < 60]))+; (H FILTER H[hum > 60]))
WITHIN 1000 EVENTS

# s.stream
T(temp=-1, city=barcelona)
H(hum=10, city=barcelona)
H(hum=30, city=barcelona)
H(hum=65, city=barcelona)

# StreamDescription.txt
DECLARE EVENT T(temp double, city string)
DECLARE EVENT H(hum double, city string)
DECLARE STREAM S(T, H)

Expected:

Powerset({T,H1,H2}) U {H3}

Output:

Event H(id=3) triggered matches:
	In interval [2, 3]: H(id=2) H(id=3) 
	In interval [1, 3]: H(id=1) H(id=3) 
	In interval [0, 3]: T(id=0) H(id=3) 

Note

On the old CORE, this query outputs the expected result.