Paper accepted at KR’22! See you in Haifa! :israel: