Progress on branching in contracts.