Various debugging. Added a special favor of Occurrence constraint when
result is a constant.