Fixing expected output of tests after implementing effect summary minimization for effect constraints.
Merge branch 'dev/prolog' into dev/prolog-full