Clarified term dropping strategy in branch & cut for the busy and busy subset cut families.