Much cheaper shrinking of clause