experimental: checking if produced conclusions are absent / present in
context when preforming saturation for addition / respectively deletion