Antijoins are generated as part of outer joins.
They are further expanded into joins by dbsp.
The monotonicity analysis does not know this fact, and thus does not insert GC operators for antijoins.
A solution would be for the compiler to expand antijoins before the monotonicity analysis instead of using DBSP's expansion.