Switching to the 3-argument format of esi_constraints in prolog for simplicity and uniformity, and the effect summary output from prolog is now sorted so it won't keep changing around constantly.