try to CC prop before adding cuts; cut generation minor optimizations