Using sea_is_modified with PriorityQueue fails on --cex mode #120
Description
Related to PR at #109.
Using --cex on any of the three modified jobs with sea_is_modified returns sat.
Dump of --cex run attached.
output.txt
{{ message }}
Related to PR at #109.
Using --cex on any of the three modified jobs with sea_is_modified returns sat.
Dump of --cex run attached.
output.txt